Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Wolfgang Schreiner
Out of stock
Format: Book (Hardback)
Thinking 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
£53.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
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
£57.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket