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

Priser från
850,98

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
850,98 kr
Til butik
Amazon Marketplace Logga
850,98 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke MIT Press
EAN
  • 9780262545747

Priser uppdaterades senast:

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

337,57 kr
Jämför 2 butiker 2 Butiker

Independently Published

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale

199,36 kr
Jämför 2 butiker 2 Butiker

Independently Published

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale

299,05 kr
Jämför 2 butiker 2 Butiker

Independently Published

Idris for Beginners: How to Explore Dependent Types and Functional Programming

199,36 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
850,98 kr
Til butik