Zertifizierte Programmierung mit abhängigen Typen: Eine pragmatische Einführung in das Coq
119,52 €
Title : Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. We specialise in high quality textbooks across an enormous variety of subjects. We bring you a vast range of textbooks, rare and collectible books at a great price.
Jetzt bei Ebay:
