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
5 Products
5 Products Page
of 1
Deductive Software Verification – The KeY Book
Paperback
 
Price: £109.99
Usually dispatched within 3 weeks
Integrated Formal Methods
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Tests and Proofs
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Deductive Software Verification: Future Perspectives
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
The Logic of Software. A Tasting Menu of Formal Methods
Paperback
 
Price: £89.99
Usually dispatched within 3 weeks