25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)
Full Title: | 25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000) |
---|---|
ISBN: | 3540698493 |
ISBN13: | 9783540698494 |
List Price: | USD $44.99 |
Related ISBNs