A Pragmatic Introduction to the Coq Proof Assistant
eBook Download (PDF)
2013
|
The MIT Press
ISBN: 9780262317870
154,15 €
(CHF 149,95) (inkl. MwSt)
(CHF 149,95) (inkl. MwSt)
- Download sofort lieferbar