Filter By
Books (4)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Types and Programming Languages by Benjamin C. Pierce
RRP: €101.15Booksplease Price: €79.55Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262162098Author Benjamin C. PierceFormat HardbackPage Count 648Imprint -
Basic Category Theory for Computer Scientists by Benjamin C. Pierce 9780262660716
Booksplease Price: €40.27Sorry no description is available for this book at this time. -
Advanced Topics in Types and Programming Languages by Benjamin C. Pierce 9780262552677
RRP: €79.43Booksplease Price: €61.01Sorry no description is available for this book at this time. -
Introduction to Bisimulation and Coinduction by Davide Sangiorgi 9781107003637
RRP: €98.77Booksplease Price: €94.44Induction 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...