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
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Programming Languages and Systems
Programming Languages and Systems
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Trustworthy Global Computing
Trustworthy Global Computing
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Software Engineering and Formal Methods
Software Engineering and Formal Methods
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
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
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
Security and Trust Management
Security and Trust Management
Jorge Cuellar
Paperback
 
£44.99
Usually dispatched within 3 weeks
Applied Semantics
Applied Semantics
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Formal Aspects of Security and Trust
Formal Aspects of Security and Trust
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Engineering Secure Software and Systems
Engineering Secure Software and Systems
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design V
Alessandro Aldini
Paperback
 
£39.99
Usually dispatched within 3 weeks
Security and Trust Management
Security and Trust Management
Gilles Barthe
Paperback
 
£44.99
Usually dispatched within 3 weeks
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming
Gilles Barthe
Hardback
 
£61.00
Usually dispatched within 2 weeks