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
19 Products
19 Products Page
of 1
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Integrated Formal Methods
Integrated Formal Methods
Erika Ábrahám
Paperback
 
£69.99
Usually dispatched within 3 weeks
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
Marieke Huisman
Paperback
 
£44.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer
Paperback
 
£44.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer
Paperback
 
£44.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer
Paperback
 
£44.99
Usually dispatched within 1-2 days
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Marieke Huisman
Hardback
 
£46.95
This product is currently unavailable
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen
Paperback
 
£43.95
Usually dispatched within 2 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen
Hardback
 
£48.95
Usually dispatched within 2 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Marieke Huisman
Paperback
 
£42.95
This product is currently unavailable
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Marieke Huisman
Hardback
 
£48.70
This product is currently unavailable
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Marieke Huisman
Paperback
 
£44.70
This product is currently unavailable
Formal Methods
Formal Methods
Marieke Huisman
Paperback
 
£99.99
Usually dispatched within 3 weeks
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Jan Friso Groote
Paperback
 
£59.99
Usually dispatched within 3 weeks
Concise Guide to Software Verification
Concise Guide to Software Verification
Marieke Huisman
Hardback
 
£74.99
This product is currently unavailable
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
Marieke Huisman
Paperback
 
£59.99
Usually dispatched within 3 weeks
Concise Guide to Software Verification
Concise Guide to Software Verification
Marieke Huisman
Paperback
 
£54.99
Usually dispatched within 3 weeks
Tests and Proofs
Tests and Proofs
Marieke Huisman
Paperback
 
£119.99
Usually dispatched within 3 weeks