Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science (407), Band 407)

Verification

von Joseph Sifakis

Taschenbuch

ISBN-13: 978-3-540-52148-8

ISBN-10: 3-540-52148-8

Springer · 2008
Siehe auch (möglicherweise von anderen Autoren):
1990PaperbackAutomatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989: Proceedings (Lecture Notes in Computer Science)