|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, Proc 2005 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Beckert, Bernhard | Paperback | 3540289313 /
9783540289319 | 09/2005 | $52.24 |
|  | Deductive Software Verification - The Key Book: From Theory to Practice 2016 Edition | Ahrendt, Wolfgang | Paperback | 3319498118 /
9783319498119 | 12/2016 | $123.49 |
|  | Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Beckert, Bernhard | Paperback | 3642358861 /
9783642358869 | 01/2013 | $52.24 |
|  | Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers 2012 Edition (Lecture Notes in Computer Science / Programming and Software) | Beckert, Bernhard | Paperback | 3642317618 /
9783642317613 | 07/2012 | $47.49 |
|  | Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 2011 Edition (Lecture Notes in Computer Science / Programming and Software) | Beckert, Bernhard | Paperback | 3642180698 /
9783642180699 | 01/2011 | $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 |
|  | 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 |
|
|
|