Lecture Notes in Computer Science: 25 Years of Model Checking: History, Achievements, Perspectives (Paperback)
Orna Grumberg; Helmut Veith
9783540698494
3-540-69849-3
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.
read more…
International Conference on Computer Aided Verification.
| BOOKSTORE | TOTAL | ||
|---|---|---|---|
| {{condition}} | {{price}} + {{shipping}} s/h | ||
| This book is currently reported out of stock for sale, but WorldCat can help you find it in your local library: | |||