Automatic Verification Methods for Finite State Systems Proceedings, International Workshop, France, 1989
Material type: TextSeries: Lecture notes in computer science ; 407Publication details: Berlin ; Springer Verlag ; 1990Description: 382pISBN: 3540521488Subject(s): Automatic Verification Methods Finite State Systems | Computer ScienceCurrent library | Home library | Call number | Materials specified | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | 1 | Available | 34865 | ||
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | 2 | Available | 54431 |
There are no comments on this title.