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

Preise von
55,37

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
55,37 €
Gratis
55,37 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace 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

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

34,99 €
2 Shops vergleichen 2 Shops

Springer

Introduction to Programming with Fortran

86,99 €
2 Shops vergleichen 2 Shops

Manning

Programming with Types

43,03 €
Weitere Informationen Mehr Infos

O'reilly

Learning UML 2.0: A Pragmatic Introduction to

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