Automatic Verification Methods for Finite State Systems Proceedings, International Workshop, France, 1989

By: Sifakis, J. EdMaterial type: TextTextSeries: Lecture notes in computer science ; 407Publication details: Berlin ; Springer Verlag ; 1990Description: 382pISBN: 3540521488Subject(s): Automatic Verification Methods Finite State Systems | Computer Science
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current 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.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha