Formal semantics of programming languages : Courant Computer Science Symposium 2, September 14-16, 1970

書誌事項

Formal semantics of programming languages : Courant Computer Science Symposium 2, September 14-16, 1970

edited by Randall Rustin

(Prentice-Hall series in automatic computation)

Prentice-Hall, c1972

大学図書館所蔵 件 / 32

この図書・雑誌をさがす

注記

Includes bibliographical references

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ