Idris Unleashed: Type Driven Development and Theorem Proving in Functional Programming

Prices from
30.86

Featured

COMPARE ALL WEBSHOPS (1)

Description

Amazon Pages: 434, Paperback, HiTeX Press
Description Description
Product Specifications Product specifications
Price History Price History
Related Products Related Products
?>
Next
Previous

Compare webshops (1)

Shop
Price
Amazon Logo
£ 30.86
To Shop
Description (1)

Pages: 434, Paperback, HiTeX Press

Product specifications

Brand HiTeX Press
EAN
  • 9798896650270

Price History

Prices were last updated on:

Manning Publications

Type driven Development with Idris

£ 36.79
More Information More Info

Hutson Street Press

A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design

£ 13.95
More Information More Info

Hutson Street Press

A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design

£ 24.95
More Information More Info

Pragmatic Bookshelf

Web Development with ReasonML: Type Safe, Functional Programming for JavaScript Developers

£ 28.81
More Information More Info
Featured Choice
£ 30.86
To Shop