A Pragmatic Introduction to the Coq Proof Assistant
Buch | Softcover
2022
|
MIT Press
ISBN: 9780262545747
CHF 82,45 (inkl. MwSt)
in den Warenkorb
- Versand in
10-15 Tagen