Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

著者

• TFM
• Dean, C. Neville
• Boute, R. T. (Raymond T.)

書誌事項

Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

C. Neville Dean, Raymond T. Boute (eds.)

（Lecture notes in computer science, 3294）

Springer, c2004

注記

Includes bibliographies and index

詳細情報

• NII書誌ID(NCID): BA70270513
• ISBN:
  • 3540236112
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: x, 248 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA00009279