Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

書誌事項

Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)

(Lecture notes in computer science, 1945)

Springer, c2000

大学図書館所蔵 件 / 33

この図書・雑誌をさがす

注記

Includes bibliographical references and index

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

詳細情報

ページトップへ