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
12 Products
12 Products Page
of 1
Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed Systems
Howard Bowman
Hardback
 
£179.99
Usually dispatched within 3 weeks
Formal Methods for Distributed Processing
Formal Methods for Distributed Processing
Howard Bowman
Paperback
 
£47.99
Usually dispatched within 2 weeks
Refinement in Z and Object-Z
Refinement in Z and Object-Z
John Derrick
Hardback
 
£89.99
Usually dispatched within 3 weeks
Refinement in Z and Object-Z
Refinement in Z and Object-Z
John Derrick
Paperback
 
£126
This product is currently unavailable
Integrated Formal Methods
Integrated Formal Methods
Eerke Boiten
Paperback
 
£44.99
Usually dispatched within 3 weeks
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
John Derrick
Paperback
 
£44.99
Usually dispatched within 3 weeks
Abstract State Machines, Alloy, B, VDM, and Z
Abstract State Machines, Alloy, B, VDM, and Z
John Derrick
Paperback
 
£44.99
Usually dispatched within 3 weeks
Formal Methods for Distributed Processing
Formal Methods for Distributed Processing
Howard Bowman
Hardback
 
£135
Usually dispatched within 2 weeks
Integrated Formal Methods
Integrated Formal Methods
John Derrick
Paperback
 
£44.99
Usually dispatched within 3 weeks
Refinement in Z and Object-Z
Refinement in Z and Object-Z
John Derrick
Paperback
 
£89.99
Usually dispatched within 3 weeks
Refinement
Refinement
John Derrick
Hardback
 
£44.99
Usually dispatched within 3 weeks
Refinement
Refinement
John Derrick
Paperback
 
£44.99
Usually dispatched within 3 weeks