Encoding Program Proofs in Types
Buch | Softcover
2023
|
Apress
ISBN: 9781484292587
CHF 52,40 (inkl. MwSt)
- Versand in
15-20 Tagen