Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
8 Products
8 Products Page
of 1
Model-Based Testing of Reactive Systems
Model-Based Testing of Reactive Systems Programming and Software Engineering
Manfred Broy
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming
Gilles Barthe
Hardback
£61.00
Usually dispatched within 72 hours
Principles of Verification: Cycling the Probabilistic Landscape
Principles of Verification - Cycling the Probabilistic Landscape Part II
Nils Jansen
Paperback
£64.99
Print on demand - Usually dispatched within 7-10 days
Formal Methods
Formal Methods
International Symposium on Formal Methods
Paperback
£89.99
Usually dispatched within 7 days
Formal Methods for Real-Time and Probabilistic Systems
Formal Methods for Real-Time and Probabilistic Systems
ARTS'99
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Principles of Verification: Cycling the Probabilistic Landscape
Principles of Verification - Cycling the Probabilistic Landscape Part III
Nils Jansen
Paperback
£59.99
Print on demand - Usually dispatched within 7-10 days
Principles of Verification: Cycling the Probabilistic Landscape
Principles of Verification - Cycling the Probabilistic Landscape Part I
Nils Jansen
Paperback
£69.99
Print on demand - Usually dispatched within 7-10 days
ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Joost-Pieter Katoen
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days