Placeholder text
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989 : Proceedings (Lecture Notes in Computer Science)
By J. Sifakis
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989 : Proceedings (Lecture Notes in Computer Science)
By J. Sifakis
0 - Default Title
Product details
Binding:
Paperback
Number of Pages:
272
Release Date:
1990-03-01
Publication Date:
1990-03-01
Publisher:
Springer Verlag
Languages:
Published:
English,
Original:
English
ISBN10:
0387521488
Weight:
386 g
Currently sold out