Search

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

Abbildung von Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Preise von
58,90
Amazon Logo 58,90 € Zum Shop
ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

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

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Logo
58,90 €
Gratis
58,90 €
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

Preis-Historie

Preise zuletzt aktualisiert am:

O'Reilly Media

Programming Robots with Ros: A Practical Introduction to the Robot Operating System

35,71 €
Weitere Informationen Mehr Infos go to shop Zum Shop

Springer

Introduction to Programming with Fortran

68,99 €
Weitere Informationen Mehr Infos go to shop Zum Shop

Pragmatic Bookshelf

Seven Languages in Weeks: A Pragmatic Guide to Learning Programming (Pragmatic Programmers)

29,00 €
Weitere Informationen Mehr Infos go to shop Zum Shop

O'Reilly Media

Learning UML 2.0: A Pragmatic Introduction to

37,00 €
Weitere Informationen Mehr Infos go to shop Zum Shop