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
7 Products
7 Products Page
of 1
Computer Aided Verification
Computer Aided Verification
Ed Brinksma
Paperback
 
£89.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
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Kim G. Larsen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Automata, Languages and Programming
Automata, Languages and Programming
Kim G. Larsen
Paperback
 
£89.99
Usually dispatched within 3 weeks
Computer Aided Verification
Computer Aided Verification
Kim G. Larsen
Paperback
 
£44.99
Usually dispatched within 3 weeks
CONCUR 2001 - Concurrency Theory
CONCUR 2001 - Concurrency Theory
Kim G. Larsen
Paperback
 
£44.99
Usually dispatched within 3 weeks
Models, Mindsets, Meta: The What, the How, and the Why Not?
Models, Mindsets, Meta: The What, the How, and the Why Not?
Tiziana Margaria
Paperback
 
£44.99
Usually dispatched within 3 weeks