Search

Introduction to Dependent Types with Idris: Encoding Program Proofs in

Bild av Introduction to Dependent Types with Idris: Encoding Program Proofs in
Priser från
305,12
Amazon Logga 305,12 kr Til butik
JäMFöR ALLA WEBBUTIKER (1)

Beskrivning

Amazon Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Description Beskrivning
Product Specifications Produktspecifikationer
Price History Prishistorik
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (1)

Shop
Pris
Amazon Logga
305,12 kr
Til butik
Beskrivning (1)

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Produktspecifikationer

Märke Apress
EAN
  • 9781484292587

Prishistorik

Priser uppdaterades senast:

The MIT Press

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

642,08 kr
Mer information Mer info go to shop Til butik

World Scientific

INTRODUCTION TO TIME DEPENDENT QUANTUM MECHANICS WITH PYTHON: 7

1.118,42 kr
Mer information Mer info go to shop Til butik

MIT Press

Program Proofs

786,85 kr
Mer information Mer info go to shop Til butik

CRC Press

An Introduction to Mathematical Proofs

621,04 kr
Mer information Mer info go to shop Til butik