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