Catalogo · 9783540690610
Verification of Object-Oriented Software. the KeY Approach
ISBN 9783540690610
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
Bernhard Beckert
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
Verba volant · scripta manent