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

Author(s)

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

Bibliographic Information

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

Note

Includes bibliographies and index

Details

• NCID: BA70270513
• ISBN:
  • 3540236112
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: x, 248 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00009279