|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/354/9783540496991.jpg&wmax=80&hmax=80) | Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and RV 2006, Seattle, Wa, Usa, Augus 2006 Edition (Lecture Notes in Computer Science) | Havelund, Klaus | Paperback | 3540496998 / 9783540496991 | 12/2006 | $52.24 |
| ![](thumb.php?src=products/354/9783540851134.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/331/9783319175232.jpg&wmax=80&hmax=80) | NASA Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, Usa, April 27-29, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science / Programming and Software) | Havelund, Klaus | Paperback | 3319175238 / 9783319175232 | 04/2015 | $52.24 |
| ![](thumb.php?src=products/364/9783642203978.jpg&wmax=80&hmax=80) | NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science) | Bobaru, Mihaela | Paperback | 3642203973 / 9783642203978 | 04/2011 | $52.24 |
| ![](thumb.php?src=products/354/9783540410300.jpg&wmax=80&hmax=80) | Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings 2000 Edition (Forschungen Zur Kirchen- Und Dogmengeschichte) | Havelund, Klaus | Paperback | 3540410309 / 9783540410300 | 08/2000 | $52.24 |
| ![](thumb.php?src=products/364/9783642548611.jpg&wmax=80&hmax=80) | Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, Tacas 2014, Held as Part of the European Joint Confe 2014 Edition | Abraham, Erika | Paperback | 364254861X / 9783642548611 | 03/2014 | $52.24 |
|
|
|