Logics of programs : workshop, Yorktown Heights, New York, May 1981

書誌事項

Logics of programs : workshop, Yorktown Heights, New York, May 1981

edited by Dexter Kozen

(Lecture notes in computer science, 131)

Springer-Verlag, 1982

  • : gw
  • : us

大学図書館所蔵 件 / 56

この図書・雑誌をさがす

注記

Includes bibliographies

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

詳細情報

ページトップへ