Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£37.08
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketComputability
George Tourlakis
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£54.99
£40.62
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to BasketConcrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£64.99
£47.40
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketThinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Wolfgang Schreiner
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£59.99
£43.86
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketEnterprise Level Security 1 & 2
Kevin Foltz
Out of StockMore expected soonContact us for further information
Format: Book (Multiple-component retail product)
£42.99
£37.61
Out of StockMore expected soonContact us for further information
Book (Multiple-component retail product)
Add to Basket