Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Programming Language Foundations by Aaron Stump 9781118007471
RRP: £109.95Booksplease Price: £96.99Programming Language Foundations is a concise text that covers a wide range of topics in the mathematical semantics of programming languages, for readers without prior advanced background in... -
Verified Functional Programming in Agda by Aaron Stump 9781970001273
RRP: £82.00Booksplease Price: £79.25Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781970001273Author Aaron StumpFormat HardbackPage Count 284Imprint -
Verified Functional Programming in Agda by Aaron Stump 9781970001242
RRP: £66.00Booksplease Price: £64.01Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we...