
Beschreibung
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant von Chlipala, Adam im Online-Buchhandel:

- Habe ich gelesen
- Möchte ich noch lesen
- Lieblingsbücher
- Wunschliste