Books by Bernhard Beckert

12 books found

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

20052 ed.
Formal Methods for Components and Objects

Formal Methods for Components and Objects

20132 ed.
Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

20121 ed.
Verification of object-oriented software

Verification of object-oriented software

20071 ed.
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers

Formal Verification Of Objectoriented Software International Conference Revised Selected Papers

20121 ed.
Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

20111 ed.
Tests and Proofs

Tests and Proofs

20081 ed.
Tests and Proofs

Tests and Proofs

20081 ed.
Verification of Object-Oriented Software. the KeY Approach

Verification of Object-Oriented Software. the KeY Approach

20071 ed.
Deductive Software Verification - the KeY Book

Deductive Software Verification - the KeY Book

20162 ed.
Logic of Software. a Tasting Menu of Formal Methods

Logic of Software. a Tasting Menu of Formal Methods

20221 ed.
Deductive Software Verification : Future Perspectives

Deductive Software Verification : Future Perspectives

20201 ed.