Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

書誌事項

Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Dexter Kozen (ed.)

(Lecture notes in computer science, 3125)

Springer, c2004

大学図書館所蔵 件 / 20

この図書・雑誌をさがす

注記

Includes bibliographies and index

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

詳細情報

ページトップへ