Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Chlipala - Zertifizierte Programmierung mit abhängigen Typen A Pragmatic Int - N555z

Ø 0.0
0 Bewertungen
72,15 €

The Title is Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. Category - COMPUTERS / Programming / General. Hours of Service. This is a great Christmas gift idea.

Jetzt bei Ebay: