|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | 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 |
| | 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 |
| | The Spin Model Checker: Primer and Reference Manual | Holzmann, Gerard | Paperback | 0321773713 / 9780321773715 | 09/2003 | $66.49 |
|
|
|