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
55 Products
55 Products Page
of 3
The Programming Language Ada. Reference Manual
The Programming Language Ada. Reference Manual
David Hutchison
Paperback
 
£72.00
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
Tiziana Margaria
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
Ed Brinksma
Paperback
 
£44.99
Usually dispatched within 3 weeks
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria
Paperback
 
£129.99
Usually dispatched within 3 weeks
Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation
Reiner Hähnle
Paperback
 
£44.99
Usually dispatched within 3 weeks
Correct System Design
Correct System Design
Ernst-Rüdiger Olderog
Paperback
 
£44.99
Usually dispatched within 3 weeks
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria
Paperback
 
£44.99
Usually dispatched within 3 weeks
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria
Paperback
 
£44.99
Usually dispatched within 3 weeks
Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria
Paperback
 
£44.99
This product is currently unavailable
Leveraging Applications of Formal Methods
Leveraging Applications of Formal Methods
Tiziana Maragria
Paperback
 
£44.99
Usually dispatched within 3 weeks
Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria
Paperback
 
£89.99
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
 
£44.99
Usually dispatched within 3 weeks
Services and Visualization: Towards User-Friendly Design
Services and Visualization: Towards User-Friendly Design
Tiziana Margaria
Paperback
 
£44.99
Usually dispatched within 3 weeks
Grundlagen der höheren Informatik
Grundlagen der höheren Informatik
Bernhard Steffen
Hardback
 
£29.99
Usually dispatched within 3 weeks
Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
Bernhard Steffen
Paperback
 
£44.99
Usually dispatched within 3 weeks
SOFSEM 2017: Theory and Practice of Computer Science
SOFSEM 2017: Theory and Practice of Computer Science
Bernhard Steffen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Mathematical Foundations of Advanced Informatics
Mathematical Foundations of Advanced Informatics
Bernhard Steffen
Hardback
 
£28.99
Usually dispatched within 3 weeks
Computing and Software Science
Computing and Software Science
Bernhard Steffen
Paperback
 
£24.99
Usually dispatched within 3 weeks