Teaching Formal Methods [E-Book] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / by C. Neville Dean, Raymond T. Boute.
Boute, Raymond T.
Dean, C. Neville.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
englisch
9783540236115
Lecture notes in computer science ; 3294
Full Text
Description not available.