Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
11 Products
11 Products Page
of 1
Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
Bernhard Beckert
Paperback
 
£39.99
Usually dispatched within 3 weeks
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Bernhard Beckert
Paperback
 
£44.99
Usually dispatched within 3 weeks
Verification of Object-Oriented Software. The KeY Approach
Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert
Paperback
 
£89.99
Usually dispatched within 3 weeks
Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
Bernhard Beckert
Paperback
 
£44.99
This product is currently unavailable
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Bernhard Beckert
Paperback
 
£44.99
Usually dispatched within 3 weeks
Tests and Proofs
Tests and Proofs
Bernhard Beckert
Paperback
 
£44.99
Usually dispatched within 3 weeks
Deductive Software Verification – The KeY Book
Deductive Software Verification – The KeY Book
Wolfgang Ahrendt
Paperback
 
£109.99
Usually dispatched within 3 weeks
Electronic Voting
Electronic Voting
Robert Krimmer
Paperback
 
£49.99
Usually dispatched within 3 weeks
Electronic Voting
Electronic Voting
Robert Krimmer
Paperback
 
£44.99
Usually dispatched within 3 weeks
Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
Wolfgang Ahrendt
Paperback
 
£44.99
Usually dispatched within 3 weeks
The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt
Paperback
 
£89.99
Usually dispatched within 3 weeks