Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Programming Language Foundations by Aaron Stump 9781118007471
RRP: $141.84Booksplease Price: $125.12Programming 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: $105.78Booksplease Price: $102.23Apologies 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: $85.14Booksplease Price: $82.57Agda 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...