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
67,83 €

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Chlipala, Adam May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less

Jetzt bei Ebay: