- 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. 25 Years of Model Checking: History Achievements Perspectives Lecture Notes in Computer Science/Theoretical Computer Science and General Issues Buy it!

Save Show this book only

title size:

Editor Orna Grumberg; Editor Helmut Veith

author size:

USD

45.42

price size:

Ergodebooks /Biblio

dealer size:

Springer, Date: 2008-07-18. Paperback. Good. 2008. Springer ISBN 3540698493 9783540698494 [US]

description size:

2. 25 Years of Model Checking: History Achievements Perspectives Lecture Notes in Computer Science/Theoretical Computer Science and General Issues Buy it!

Save Show this book only

Orna Grumberg Editor Helmut Veith Editor

author size:

USD

46.78

price size:

Ergodebooks /Biblio

dealer size:

Springer, Date: 2008-07-18. 2008. Paperback. Used:Good. 2008. Springer ISBN 3540698493 9783540698494 [US]

description size:

3. 25 Years of Model Checking:History Achievements Perspectives Buy it!

Save Show this book only

Orna Grumberg

author size:

USD

47.16

price size:

Ria Christie Collections /Biblio

dealer size:

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The 25 Years of Model Checking : History, Achievements, Perspectives. ISBN 3540698493 9783540698494 [GB]

description size:

4. 25 Years of Model Checking: History Achievements Perspectives Lecture Notes in Computer Science Buy it!

Save

N/A

author size:

USD

51.82

price size:

Revaluation Books /Biblio

dealer size:

Springer-Verlag New York Inc, Date: 2008. Paperback. New. 1st edition. 231 pages. 9.25x6.00x0.75 inches. 2008. Springer-Verlag New York Inc ISBN 3540698493 9783540698494 [GB]

description size:

5. 25 Years of Model Checking: History Achievements Perspectives Buy it!

Save Show this book only

Orna Grumberg

author size:

USD

53.24

price size:

The Saint Bookstore /Biblio

dealer size:

Paperback / softback. New. This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification. ISBN 3540698493 9783540698494 [GB]

description size:

The link of the search results: