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
6 Products
6 Products Page
of 1
25 Years of Model Checking
25 Years of Model Checking Theoretical Computer Science and General Issues
Orna Grumberg
Paperback
£29.99
Print on demand - Usually dispatched within 7-10 days
Handbook of Model Checking
Handbook of Model Checking
Edmund M. Clarke
Paperback
£119.99
Print on demand - Usually dispatched within 7-10 days
Handbook of Model Checking
Handbook of Model Checking
Edmund M. Clarke
Hardback
£109.99
Print on demand - Usually dispatched within 7-10 days
Computer Science Logic
Computer Science Logic Theoretical Computer Science and General Issues
Anuj Dawar
Paperback
£81.00
Print on demand - Usually dispatched within 7-10 days
Computer Aided Verification
Computer Aided Verification
CAV
Paperback
£89.99
Print on demand - Usually dispatched within 7-10 days