From Natural Semantics to a Machine-checked Compiler Transformation
Buch | Hardcover
2020
|
Saint Philip Street Press
ISBN: 9781013279799
79,25 € (inkl. MwSt)
- Keine Verlagsinformationen verfü
gbar