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
£43.77
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Concrete 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.01
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket