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

Zertifizierte Programmierung mit abhängigen Typen: Eine pragmatische Einführung in die...

Ø 0.0
0 Bewertungen
76,20 €

You are purchasing a Good copy of 'Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant'. Shelf wear corner wear is present.

Jetzt bei Ebay: