booktheque

Tests and Proofs

Bernhard Beckert, Reiner Hähnle · 2008

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2008
Language
English
Publisher
Springer London, Limited
Editions
1
ISBN
9783540791249

Data source: Wikidata

More by Bernhard Beckert

Formal Methods for Components and Objects
Bernhard Beckert · 2013
Formal Verification of Object-Oriented Software
Bernhard Beckert · 2012
Formal Verification of Object-Oriented Software
Bernhard Beckert · 2011
Verification of object-oriented software
Bernhard Beckert · 2007
Automated Reasoning with Analytic Tableaux and Related Methods
Bernhard Beckert · 2005
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Bernhard Beckert · 2012
Verification of Object-Oriented Software. the KeY Approach
Bernhard Beckert · 2007