|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | 25 Years of Model Checking: History, Achievements, Perspectives 2008 Edition (Lecture Notes in Computer Science) | Grumberg, Orna | Paperback | 3540698493 / 9783540698494 | 06/2008 | $36.09 |
| | Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings 1997 Edition (Lecture Notes in Computer Science) | Grumberg, Orna | Paperback | 3540631666 / 9783540631668 | 06/1997 | $52.24 |
| | Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday 2009 Edition (Lecture Notes in Computer Science) | Grumberg, Orna | Paperback | 3642017479 / 9783642017476 | 05/2009 | $52.24 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007 Held as Part of the Joint European Confer 2007 Edition (Lecture Notes in Computer Science) | Grumberg, Orna | Paperback | 3540712089 / 9783540712084 | 03/2007 | $104.49 |
|
|
|