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
5 Products
5 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
Languages: From Formal to Natural
Languages: From Formal to Natural Programming and Software Engineering
Orna Grumberg
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Software Systems Safety
Software Systems Safety
Orna Grumberg
Hardback
£127
This product is currently unavailable
Dependable Software Systems Engineering
Dependable Software Systems Engineering
Orna Grumberg
Hardback
£127
This product is currently unavailable
Logics and Languages for Reliability and Security
Logics and Languages for Reliability and Security
Javier Esparza
Hardback
£127
This product is currently unavailable