Verified Functional Programming in Agda

Verified Functional Programming in Agda

Verified Functional Programming in Agda

Barcode: 09781970001259
Brand: Association for Computing Machinery and Morgan & C
Best Priced
sold by Hive Books
Hive Books
£36.11
Visit Store
Hive Books
Hive Books
£36.11
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Association for Computing Machinery and Morgan & C

Candidate Multilinear Maps
Candidate Multilinear Maps
from £26.93
Candidate Multilinear Maps
Candidate Multilinear Maps
from £23.39
The VR Book : Human-Centered Design for Virtual Reality
The VR Book : Human-Centered Design for Virtual Reality
from £58.63
Edmund Berkeley and the Social Responsibility of Computer Professionals
Edmund Berkeley and the Social Responsibility of Computer Professionals
from £27.86
Ada's Legacy : Cultures of Computing from the Victorian to the Digital Age
Ada's Legacy : Cultures of Computing from the Victorian to the Digital Age
from £21.02
Verified Functional Programming in Agda
Verified Functional Programming in Agda
from £39.70
Edmund Berkeley and the Social Responsibility of Computer Professionals
Edmund Berkeley and the Social Responsibility of Computer Professionals
from £32.18
The VR Book : Human-Centered Design for Virtual Reality
The VR Book : Human-Centered Design for Virtual Reality
from £42.04
Ada's Legacy : Cultures of Computing from the Victorian to the Digital Age
Ada's Legacy : Cultures of Computing from the Victorian to the Digital Age
from £29.32
Smarter Than Their Machines : Oral Histories of Pioneers in Interactive Computing
Smarter Than Their Machines : Oral Histories of Pioneers in Interactive Computing
from £27.86
A Framework for Scientific Discovery through Video Games
A Framework for Scientific Discovery through Video Games
from £22.06
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
from £32.18
Embracing Interference in Wireless Systems
Embracing Interference in Wireless Systems
from £26.31
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
from £26.31
Embracing Interference in Wireless Systems
Embracing Interference in Wireless Systems
from £32.18
A Framework for Scientific Discovery through Video Games
A Framework for Scientific Discovery through Video Games
from £25.43
Smarter Than Their Machines : Oral Histories of Pioneers in Interactive Computing
Smarter Than Their Machines : Oral Histories of Pioneers in Interactive Computing
from £30.40

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Verified Functional Programming in Agda
Verified Functional Programming in Agda
from £39.70
Functional Programming in Java
Functional Programming in Java
from £29.59
Functional Programming in Java
Functional Programming in Java
from £29.59
Functional Programming in Scala
Functional Programming in Scala
from £27.10
Functional Programming in Kotlin
Functional Programming in Kotlin
from £24.99
Functional Programming in C++
Functional Programming in C++
from £30.20
Functional Programming in C++
Functional Programming in C++
from £35.49
Functional Programming in Java
Functional Programming in Java
from £35.65
Functional Programming in C#
Functional Programming in C#
from £45.39
Functional Programming in Kotlin
Functional Programming in Kotlin
from £35.65
Functional Programming in Scala
Functional Programming in Scala
from £32.65
Functional Programming in Scala
Functional Programming in Scala
from £40.79
Trends in Functional Programming Volume 5
Trends in Functional Programming Volume 5
from £35.20
Functional Programming in C#, Second Edition
Functional Programming in C#, Second Edition
from £29.99
Functional Programming in Scala, Second Edition
Functional Programming in Scala, Second Edition
from £31.99
Research Directions in Parallel Functional Programming
Research Directions in Parallel Functional Programming
from £76.08
Functional Programming in C# : Classic Programming Techniques for Modern Projects
Functional Programming in C# : Classic Programming Techniques for Modern Projects
from £19.54
Functional Programming in C# : Classic Programming Techniques for Modern Projects
Functional Programming in C# : Classic Programming Techniques for Modern Projects
from £19.54
Functional Programming with Go : Functional design and implementation in Go
Functional Programming with Go : Functional design and implementation in Go
from £27.99
Introducing Erlang : Getting Started in Functional Programming
Introducing Erlang : Getting Started in Functional Programming
from £10.80