- 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 407 Buy it!

Save Show this book only

Sifakis J. ed.

author size:

USD

8.60

price size:

PsychoBabel & Skoob Books /Biblio

dealer size:

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]

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

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:

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 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:

6. 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]

Show/Hide image

description size:

7. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings Buy it!

Save Show this book only

Sifakis, Joseph (Editor)

author size:

USD

51.65

price size:

Alibris /Alibris

dealer size:

Berlin, Heidelberg Springer 1990 1990 ed. Trade paperback New. Trade paperback (US). Glued binding. 384 p. Lecture Notes in Computer Science, 407.

description size:

8. 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 ] Buy it!

Save Show this book only

Sifakis, Joseph

author size:

USD

57.56

price size:

booksXpress /Abebooks

dealer size:

ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover
[Bayonne, NJ, U.S.A.] [Publication Year: 1990]

Show/Hide image

description size:

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

Save Show this book only

Sifakis, Joseph (Editor)

author size:

USD

62.29

price size:

Bonita via Alibris /Alibris

dealer size:

Springer 1990 1990 ed. paperback Good Access codes and supplements are not guaranteed with used items. May be an ex-library book.

description size:

10. Automatic Verification Methods for Finite State Systems:International Workshop Grenoble France. June 12 14 1989. Proceedings Buy it!

Save Show this book only

Joseph Sifakis

author size:

USD

68.09

price size:

Ria Christie Collections /Biblio

dealer size:

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]

description size:

11. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings Buy it!

Save Show this book only

Sifakis, Joseph (Editor)

author size:

USD

72.54

price size:

ShopSpell via Alibris /Alibris

dealer size:

Berlin, Heidelberg Springer 1990 1990 ed. Trade paperback New. Trade paperback (US). Glued binding. 384 p. Lecture Notes in Computer Science, 407.

description size:

12. Automatic Verification Methods for Finite State Systems: International Workshop Grenoble France. June 12 14 1989. Proceedings Buy it!

Save Show this book only

Joseph Sifakis

author size:

USD

76.76

price size:

The Saint Bookstore /Biblio

dealer size:

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]

description size:

The link of the search results: