Compiler specification and verification
著者
書誌事項
Compiler specification and verification
（Lecture notes in computer science, 124）
Springer-Verlag, 1981
- : gw
- : us
大学図書館所蔵 全47件
注記
"A revised version of my Ph.D. thesis"--Pref
Bibliography: p. [146]-155
Compiler specification and verification
（Lecture notes in computer science, 124）
Springer-Verlag, 1981
"A revised version of my Ph.D. thesis"--Pref
Bibliography: p. [146]-155