Titel | Art | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Automated Deduction in Multiple-Valued Logics | Hardcover | | 978-0-19-853989-6 | 1994 |
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings | Taschenbuch | | 978-3-642-14202-4 | 2010 | Jürgen Giesl |
Deductive Software Verification - The KeY Book: From Theory to Practice | " | | 978-3-319-49811-9 | 2016 | Wolfgang Ahrendt · Bernhard Beckert · Richard Bubel · Peter H. Schmitt · Mattias Ulbrich |
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures | " | | 978-3-642-40614-0 | 2013 | Elena Giachino · Frank S. de Boer · Marcello M. Bonsangue |
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, Band 8483) | " | | 978-3-319-07316-3 | 2014 | Marco Bernardo · Ferruccio Damiani · Reiner Haehnle · Einar Broch Johnsen · Ina Schaefer |
Handbook of Tableau Methods | Hardcover | | 978-0-7923-5627-1 | 1999 | M. D'Agostino · Dov M. Gabbay · J. Posegga |
Leveraging Applications of Formal Methods, Verification, and Validation | Taschenbuch | | 978-3-642-34780-1 | 2012 | Jens Knoop · Tiziana Margaria · Dietmar Schreiner · Bernhard Steffen |
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... October 17-18, 2011. Revised Selected Papers | Paperback | | 978-3-642-34782-5 | 2012 | Jens Knoop · Tiziana Margaria |
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings | Taschenbuch | | 978-3-540-79123-2 | 2008 | Bernhard Beckert |
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings | Paperback | | 978-3-662-19203-0 | 2014 | Peter Baumgartner · Joachim Posegga |
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings | Taschenbuch | | 978-3-540-59338-6 | 1995 | Peter Baumgartner · Joachim Posegga |
Verification of Object-Oriented Software: The KeY Approach | " | | 978-3-540-68977-5 | 2007 | Bernhard Beckert · Peter H. Schmitt |