|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Reasoning: 5th International Joint Conference, Ijcar 2010, Edinburgh, Uk, July 16-19, 2010, Proceedings 2010 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Giesl, Jürgen | Paperback | 3642142028 / 9783642142024 | 06/2010 | $104.49 |
| | Formal Methods for Components and Objects: 11th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Giachino, Elena | Paperback | 3642406149 / 9783642406140 | 08/2013 | $47.49 |
| | Handbook of Tableau Methods 1999 Edition | D'Agostino, M. | Hardcover | 0792356276 / 9780792356271 | 03/1999 | $208.99 |
| | Handbook of Tableau Methods | D'Agostino, M. | Paperback | 9048151848 / 9789048151844 | 12/2010 | $208.99 |
| | Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of 2012 Edition (Communications in Computer and Information Science) | Hähnle, Reiner | Paperback | 3642347800 / 9783642347801 | 10/2012 | $52.24 |
| | Tests and Proofs: Second International Conference, Tap 2008, Prato, Italy, April 9-11, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Beckert, Bernhard | Paperback | 354079123X / 9783540791232 | 03/2008 | $52.24 |
| | Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995 Edition (Esprit Basic Research Series) | Baumgartner, Peter | Paperback | 3540593381 / 9783540593386 | 04/1995 | $52.24 |
| | Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino 2007 Edition (Lecture Notes in Computer Science) | Beckert, Bernhard | Paperback | 354068977X / 9783540689775 | 01/2007 | $104.49 |
|
|
|