From Natural Semantics to a Machine-checked Compiler Transformation
Buch | Softcover
2020
|
Saint Philip Street Press
ISBN: 9781013279782
CHF 92,45 (inkl. MwSt)
- Keine Verlagsinformationen verfü
gbar