Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The 25 Years of Model Checking : History, Achievements, Perspectives.
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) by Editor-Orna Grumberg; Editor-Helmut Veith - 2008-07-18
by Editor-Orna Grumberg; Editor-Helmut Veith
Similar copies are shown below.
Similar copies are shown to the right.
![25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) by Editor-Orna Grumberg; Editor-Helmut Veith - 2008-07-18](https://d3525k1ryd2155.cloudfront.net/f/494/698/9783540698494.IN.0.m.jpg)
Stock Photo: Cover May Be Different
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
by Editor-Orna Grumberg; Editor-Helmut Veith
- Used
- Good
- Paperback
Springer, 2008-07-18. Paperback. Good.
-
Bookseller
Ergodebooks
(US)
- Format/Binding Paperback
- Book Condition Used - Good
- Quantity Available 1
- Binding Paperback
- ISBN 10 3540698493
- ISBN 13 9783540698494
- Publisher Springer
- Date Published 2008-07-18
We have 3 copies available starting at $43.62.
![25 Years of Model Checking : History, Achievements, Perspectives](https://d3525k1ryd2155.cloudfront.net/f/494/698/9783540698494.IN.0.m.jpg)
Stock Photo: Cover May Be Different
25 Years of Model Checking : History, Achievements, Perspectives
by Orna Grumberg
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540698494 / 3540698493
- Quantity Available
- 546
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$43.62$7.99 shipping to
Show Details
Item Price
$43.62
$7.99
shipping to
![25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)](https://d3525k1ryd2155.cloudfront.net/f/494/698/9783540698494.IN.0.m.jpg)
Stock Photo: Cover May Be Different
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)
by Grumberg, Orna (Editor) / Veith, Helmut (Editor)
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540698494 / 3540698493
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$51.70$10.00 shipping to
Show Details
Description:
Springer-Verlag New York Inc, 2008. Paperback. New. 1st edition. 231 pages. 9.25x6.00x0.75 inches.
Item Price
$51.70
$10.00
shipping to
![25 Years of Model Checking: History, Achievements, Perspectives](https://d3525k1ryd2155.cloudfront.net/h/388/074/1480074388.0.m.jpg)
25 Years of Model Checking: History, Achievements, Perspectives
by Orna Grumberg
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540698494 / 3540698493
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$53.55$9.95 shipping to
Show Details
Description:
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.
Item Price
$53.55
$9.95
shipping to