1. Automatic Verification Methods for Finite State Systems : International Workshop Grenoble France. June 12 14 1989. Proceedings
by Joseph Sifakis 
Price: USD 68.09
Dealer: Biblio, Ria Christie Collections
Description: New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings. ISBN 3540521488 9783540521488 [GB] 

2. Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12 - 14, 1989 ; proceedings. J. Sifakis (ed.) / Lecture notes in computer science ; 407
by Sifakis, Joseph (Herausgeber) 
Price: USD 16.15
Dealer: AbebooksDE, NEPO UG
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer] Softcover VII, 382 S. : graph. Darst. ; 25 cm Sprache: Deutsch Gewicht in Gramm: 969 [Rüsselsheim am Main, Germany] [Publication Year: 1990]  

3. Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12 - 14, 1989 ; proceedings. J. Sifakis (ed.) / Lecture notes in computer science ; 407
by Sifakis, Joseph (Herausgeber) 
Price: USD 14.43
Dealer: ZVAB, NEPO UG
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer] Softcover VII, 382 S. : graph. Darst. ; 25 cm Sprache: Deutsch Gewicht in Gramm: 969 [Rüsselsheim am Main, Germany] [Publication Year: 1990]  

4. Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
by Joseph Sifakis 
Price: USD 66.62
Dealer: AbebooksDE, AHA-BUCH GmbH
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems. [Einbeck, Germany] [Publication Year: 1990]  

5. Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
by Joseph Sifakis 
Price: USD 59.51
Dealer: ZVAB, AHA-BUCH GmbH
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems. [Einbeck, Germany] [Publication Year: 1990]  

6. Automatic Verification Methods for Finite State Systems: International Workshop Grenoble France June 12 14 1989 Proceedings Lecture Notes in Computer Science 407
by Sifakis J. ed. 
Price: USD 8.60
Dealer: Biblio, PsychoBabel & Skoob Books
Description: Berlin: Springer-Verlag, Date: 1990. Lecture Notes in Computer Science 407; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and pen inscription on title page; library catalogue sticker on colophon. Small scuffs from sticker removal across the spine head. Sound, clean book with tight binding. ADG.. paperback. Very Good/No Dust Jacket. Ex-Library. 1990. Springer-Verlag ISBN 3540521488 9783540521488 [GB] 

7. Automatic Verification Methods for Finite State Systems: International Workshop Grenoble France. June 12 14 1989. Proceedings
by Joseph Sifakis 
Price: USD 76.76
Dealer: Biblio, The Saint Bookstore
Description: Paperback / softback. New. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. ISBN 3540521488 9783540521488 [GB] 

8. Automatic Verification Methods for Finite State Systems: International Workshop Grenoble France. June 12 14 1989. Proceedings Lecture Notes in Computer Science
by Sifakis Joseph 
Price: USD 11.21
Dealer: Biblio, GuthrieBooks
Description: Springer, Date: 1990-02-14. Paperback. Good. Ex-Library paperback with the usual markings, attachments, and library wear. Text block clean and unmarked. Tight binding. 1990. Springer ISBN 3540521488 9783540521488 [US] 

9. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France, June 12-14, 1989 Proceedings (Lecture Notes in Computer Science 407)
by Sifakis, J. (ed.) 
Price: USD 8.76
Dealer: AbebooksUK, PsychoBabel & Skoob Books
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer-Verlag, Berlin] Softcover Lecture Notes in Computer Science 407; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and pen inscription on title page; library catalogue sticker on colophon. Small scuffs from sticker removal across the spine head. Sound, clean book with tight binding. ADG. [Didcot, Oxfordshire, OXON, United Kingdom] [Publication Year: 1990]  

10. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France, June 12-14, 1989 Proceedings (Lecture Notes in Computer Science 407)
by Sifakis, J. (ed.) 
Price: USD 8.06
Dealer: ZVAB, PsychoBabel & Skoob Books
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer-Verlag, Berlin] Softcover Lecture Notes in Computer Science 407; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and pen inscription on title page; library catalogue sticker on colophon. Small scuffs from sticker removal across the spine head. Sound, clean book with tight binding. ADG. [Didcot, Oxfordshire, OXON, United Kingdom] [Publication Year: 1990]  

11. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science (407)) by Sifakis, Joseph [Paperback ]
by Sifakis, Joseph 
Price: USD 57.56
Dealer: Abebooks, booksXpress
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover [Bayonne, NJ, U.S.A.] [Publication Year: 1990]  

12. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)
by Sifakis, Joseph 
Price: USD 12.21
Dealer: Alibris, GuthrieBooks via Alibris
Description: Springer 1990-02-14 1990 ed. Paperback Good Ex-Library paperback with the usual markings, attachments, and library wear. Text block clean and unmarked. Tight binding. 

13. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)
by Sifakis, Joseph 
Price: USD 12.21
Dealer: Abebooks, GuthrieBooks
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover Ex-Library paperback with the usual markings, attachments, and library wear. Text block clean and unmarked. Tight binding. [Spring Branch, TX, U.S.A.] [Publication Year: 1990]  

14. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)
by Sifakis, Joseph 
Price: USD 4.55
Dealer: AbebooksDE, medimops
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. [Berlin, Germany] [Publication Year: 1990]  

15. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)
by Sifakis, Joseph 
Price: USD 4.07
Dealer: ZVAB, medimops
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. [Berlin, Germany] [Publication Year: 1990]  

16. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science, 407)
Price: USD 15.97
Dealer: Abebooks, Irish Booksellers
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. [Portland, ME, U.S.A.] [Publication Year: 1990]  

17. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science, 407)
Price: USD 59.29
Dealer: Abebooks, Lucky's Textbooks
Description: ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover [Dallas, TX, U.S.A.] [Publication Year: 1990]  

18. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science, 407)
by Sifakis, Joseph (Editor) 
Price: USD 62.29
Dealer: Alibris, Bonita via Alibris
Description: Springer 1990 1990 ed. paperback Good Access codes and supplements are not guaranteed with used items. May be an ex-library book. 

19. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
by Sifakis, Joseph (Editor) 
Price: USD 51.65
Dealer: Alibris
Description: Berlin, Heidelberg Springer 1990 1990 ed. Trade paperback New. Trade paperback (US). Glued binding. 384 p. Lecture Notes in Computer Science, 407. 

20. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
by Sifakis, Joseph (Editor) 
Price: USD 72.54
Dealer: Alibris, ShopSpell via Alibris
Description: Berlin, Heidelberg Springer 1990 1990 ed. Trade paperback New. Trade paperback (US). Glued binding. 384 p. Lecture Notes in Computer Science, 407.