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

Save Show this book only

title size:

Sifakis, J. (ed.)

author size:

USD

8.06

price size:

PsychoBabel & Skoob Books /ZVAB

dealer size:

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]

description size:

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

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.76

price size:

PsychoBabel & Skoob Books /AbebooksUK

dealer size:

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

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