Search

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

Bild av Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Priser från
642,08
Amazon Logga 642,08 kr Til butik
JäMFöR ALLA WEBBUTIKER (1)

Beskrivning

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

Jämför webbutiker (1)

Shop
Pris
Amazon Logga
642,08 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke The MIT Press
EAN
  • 9780262545747

Prishistorik

Priser uppdaterades senast:

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

305,12 kr
Mer information Mer info go to shop Til butik

Springer

Introduction to Programming with Fortran

1.503,59 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

Chapman & Hall/CRC

A Concise Introduction to Robot Programming with ROS2

584,13 kr
Mer information Mer info go to shop Til butik