|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I 2017 Edition (Lecture Notes in Computer Science) | Majumdar, Rupak | Paperback | 3319633864 /
9783319633862 | 07/2017 | $52.24 |
|  | Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II 2017 Edition (Lecture Notes in Computer Science) | Majumdar, Rupak | Paperback | 3319633899 /
9783319633893 | 07/2017 | $52.24 |
|  | Hybrid Systems: Computation and Control: 12th International Conference, Hscc 2009, San Francisco, Ca, Usa, April 13-15, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science) | Majumdar, Rupak | Paperback | 3642006019 /
9783642006012 | 03/2009 | $52.24 |
|  | Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, Usa, August 10-12, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Havelund, Klaus | Paperback | 3540851135 /
9783540851134 | 07/2008 | $52.24 |
|  | Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings 2015 Edition (Lecture Notes in Computer Science) | Bartocci, Ezio | Paperback | 3319238191 /
9783319238197 | 09/2015 | $52.24 |
|  | Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Confe (Lecture Notes in Computer Science) | Esparza, Javier | Paperback | 3642120016 /
9783642120015 | 03/2010 | $52.24 |
|
|
|