Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant Adam Chlipala (Assistant Professor, Massachusetts Institute of Technology)
Wir haben derzeit keine Zusammenfassung für diesen Artikel.
Certified Programming with Dependent Types
Certified Programming with Dependent Types
Certified Programming with Dependent Types Zusammenfassung
Zusätzliche Informationen
GOR011516745
9780262026659
0262026651
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant Adam Chlipala (Assistant Professor, Massachusetts Institute of Technology)
Gebraucht - Sehr Gut
Gebundene Ausgabe
MIT Press Ltd
20131206
440
N/A
Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Dies ist ein gebrauchtes Buch. Es wurde schon einmal gelesen und weist von der früheren Nutzung Gebrauchsspuren auf. Wir gehen davon aus, dass es im Großen und Ganzen in einem sehr guten Zustand ist. Sollten Sie jedoch nicht vollständig zufrieden sein, setzen Sie sich bitte mit uns in Verbindung.