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
14 Products
14 Products Page
of 1
Software Safety and Security
Hardback
 
Price: £127
This product is currently unavailable
Isabelle/HOL
Paperback
 
Price: £52.99
Usually dispatched within 3 weeks
Rewriting Techniques and Applications
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Formal Logical Methods for System Security and Correctness
Hardback
 
Price: £89.00
This product is currently unavailable
FM 2006: Formal Methods
Paperback
 
Price: £89.99
Usually dispatched within 3 weeks
Concrete Semantics
Hardback
 
Price: £70.50
Usually dispatched within 3 weeks
Automated Reasoning
Paperback
 
Price: £89.99
Usually dispatched within 3 weeks
Types for Proofs and Programs
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Higher-Order Algebra, Logic, and Term Rewriting
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Theorem Proving in Higher Order Logics
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Term Rewriting and All That
Paperback
 
Price: £53.00
Usually dispatched within 2 weeks
Concrete Semantics
Paperback
 
Price: £49.99
Usually dispatched within 3 weeks
Functional Data Structures and Algorithms
Hardback
 
Price: £60.00
Usually dispatched within 2 weeks
Functional Data Structures and Algorithms
Paperback
 
Price: £44.00
Usually dispatched within 2 weeks