Teaching formal methods
Subtitle: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
By: C. Neville Dean, Raymond T. Boute (eds.).
Contributors: Dean, Neville.; Boute, R. T.
Series: Lecture notes in computer science,; 3294
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 248
Subjects: Formal methods (Computer science) -- Study and teaching -- Congresses; Computer software -- Development -- Study and teaching -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.
"These proceedings record the papers presented at the Symposium on Teaching Formal Methods (TFM 2004) held at the University of Ghent in Belgium, 18-19 November 2004"--Pref.