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

Preise von
55,37

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Description Beschreibung
Product Specifications Produktspezifikationen
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Logo
55,37 €
Gratis
55,37 €
Zum Shop
Gratis Shipping Costs
Beschreibung (1)

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

Produktspezifikationen

Marken MIT Press
EAN
  • 9780262545747

Preise zuletzt aktualisiert am:

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

34,99 €
Weitere Informationen Mehr Infos

Springer

Introduction to Programming with Fortran

87,97 €
Weitere Informationen Mehr Infos

CRC Press

A Concise Introduction to Robot Programming With Ros2

58,48 €
Weitere Informationen Mehr Infos

Manning

Programming with Types

37,15 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
55,37 €
Zum Shop