Catalogo · 9783540689775
Verification of object-oriented software
ISBN 9783540689775
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Formal Verification of Object-Oriented Software
Bernhard Beckert
Formal Methods for Components and Objects
Bernhard Beckert
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt
Verification of Object-Oriented Software. the KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Tests and Proofs
Bernhard Beckert, Reiner Hähnle
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Bernhard Beckert
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Automated Reasoning with Analytic Tableaux and Related Methods
Bernhard Beckert
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
The Correspondence
J. D. Daniels
Verba volant · scripta manent