Home > Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Book Informaton
Author
C. Neville Dean; Raymond T. Boute
Series
Lecture Notes in Computer Science
Volume
3294
Year of Publication
2004
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
VIII, 252
Language
en
ISBN
9783540236115, 9783540304722, 3540236112
ARI Id
1665052747605
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |