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 /

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." This symposium served as a forum to explore the failures and successes of formal methods education, to consider how the failings...

Full description

Bibliographic Details
Corporate Author: TFM 2004 Ghent, Belgium
Other Authors: Dean, Neville (Editor), Boute, R. T. (Raymond T.) (Editor)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 3294.
Subjects:
Formal methods (Computer science) > Study and teaching > Congresses.
Eiffel (Computer program language) > Study and teaching > Congresses.
Computer software > Development > Study and teaching > Congresses.
Méthodes formelles (Informatique) > Étude et enseignement > Congrès.
Ateliers de génie logiciel > Étude et enseignement > Congrès.
Eiffel (Langage de programmation) > Étude et enseignement > Congrès.
Formale Methode
Informatikstudium
Méthode formelle.
Enseignement.
System design > Study and teaching.
Gent (2004)
Congress
Kongress > Gent > 2004.
Conference papers and proceedings.
Actes de congrès.
Kongress.

RPI

Holdings details from RPI
Call Number: QA76.9.F67 T46 2004