Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Advanced Topics in Types and Programming Languages by Benjamin C. Pierce 9780262552677
RRP: £66.75Booksplease Price: £51.27Sorry no description is available for this book at this time. -
Basic Category Theory for Computer Scientists by Benjamin C. Pierce 9780262660716
Booksplease Price: £33.84Sorry no description is available for this book at this time. -
Introduction to Bisimulation and Coinduction by Davide Sangiorgi 9781107003637
RRP: £83.00Booksplease Price: £79.36Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools...