- used books online -

DISCLOSURE: When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.

TITLE

SORT

change title size:

AUTHOR

SORT

change author size:

PRICE

DEALER / SITE

SORT

DESCRIPTION

change description size:

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

Save Show this book only

title size:

Sifakis, Joseph

author size:

USD

4.07

price size:

medimops /ZVAB

dealer size:

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]

description size:

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

Save Show this book only

Sifakis, Joseph

author size:

USD

4.55

price size:

medimops /AbebooksDE

dealer size:

description size:

3. Automatic Verification Methods for Finite State Systems: International Workshop Grenoble France. June 12 14 1989. Proceedings Lecture Notes in Computer Science Buy it!

Save Show this book only

Sifakis Joseph

author size:

USD

11.21

price size:

GuthrieBooks /Biblio

dealer size:

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]

description size:

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

Save Show this book only

Sifakis, Joseph

author size:

USD

12.21

price size:

GuthrieBooks via Alibris /Alibris

dealer size:

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.

description size:

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

Save Show this book only

Sifakis, Joseph

author size:

USD

12.21

price size:

GuthrieBooks /Abebooks

dealer size:

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]