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

Save Show this book only

title size:

Grumberg, Orna; Veith, Helmut

author size:

USD

29.95

price size:

Recycle Bookstore /Abebooks

dealer size:

ISBN10: 3540698493, ISBN13: 9783540698494, [publisher: Springer] Softcover Book has some very light wear to edges, otherwise bright and presentable. Binding is strong, pages are clean and crisp throughout.
[San Jose, CA, U.S.A.] [Publication Year: 1998]

description size:

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

Save Show this book only

Grumberg, Orna (Editor), and Veith, Helmut (Editor)

author size:

USD

35.69

price size:

Alibris /Alibris

dealer size:

Berlin, Heidelberg Springer 2008 2008 ed. Trade paperback New. Trade paperback (US). Glued binding. 234 p. Contains: Unspecified, Figures. Theoretical Computer Science and General Issues, 5000.

description size:

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

Save Show this book only

Grumberg, Orna (Editor), and Veith, Helmut (Editor)

author size:

USD

41.58

price size:

booksXpress via Alibris /Alibris

dealer size:

Berlin, Heidelberg Springer 2008 2008 ed. Trade paperback New. Trade paperback (US). Glued binding. 234 p. Contains: Unspecified, Figures.

description size:

2. 25 Years of Model Checking History, Achievements, Perspectives Buy it!

Save Show this book only

Grumberg, Orna und Helmut Veith:

author size:

USD

23.90

price size:

Buchpark /ZVAB

dealer size:

ISBN10: 3540698493, ISBN13: 9783540698494, [publisher: Springer Berlin] Softcover Neubindung, Buchkante leicht angestossen 4503306/12
[Trebbin, Germany] [Publication Year: 2008]

description size:

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

Save Show this book only

Grumberg, Orna und Helmut Veith:

author size:

USD

26.62

price size:

Buchpark /AbebooksDE

dealer size:

ISBN10: 3540698493, ISBN13: 9783540698494, [publisher: Springer Berlin] Softcover Neubindung, Buchkante leicht angestossen 4503306/12
[Trebbin, Germany] [Publication Year: 2008]

description size:

The link of the search results: