booktheque

Formal Verification Of Objectoriented Software International Conference Revised Selected Papers

Bernhard Beckert · 2012

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2012
Publisher
Springer
Editions
1
ISBN
9783642317613

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
Tests and Proofs
Bernhard Beckert · 2008
Verification of Object-Oriented Software. the KeY Approach
Bernhard Beckert · 2007