booktheque

Automated Reasoning with Analytic Tableaux and Related Methods

Bernhard Beckert · 2005

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
2005
Language
English
Publisher
Springer
Editions
3
Pages
343
ISBN
9783540289319

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
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Bernhard Beckert · 2012
Tests and Proofs
Bernhard Beckert · 2008
Verification of Object-Oriented Software. the KeY Approach
Bernhard Beckert · 2007