Teaching Formal Methods
Subtitle: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)
Contributors: C. Neville Dean (Editor); Raymond T. Boute (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 22, 2004
Language: eng
Format: Paperback
Number of pages: 249
ISBN-13: 9783540236115
Subjects: General Theory of Computing; Programming - Software Development; Computers; Computers - General Information; Computer Books: Languages; Computer Science; Logic Design; Computers / Programming / Software Development
First sentence: Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.