You might also be interested in these concrete mathematics a foundation for computer science.
17% off
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation)
Springer
£ 54.17
free shipping
To the product (2 offers)
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation)
Springer
£ 49.99
free shipping
To the product (2 offers)
Which.One Highlight
Concrete Mathematics: A Foundation for Computer Science