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...

Cijeli opis

Bibliografski detalji
Autor kompanije: TFM 2004 Ghent, Belgium
Daljnji autori: Dean, Neville (Urednik), Boute, R. T. (Raymond T.) (Urednik)
Format: Izvještaj sastanka Knjiga
Jezik:English
Izdano: Berlin ; New York : Springer, [2004]
Serija:Lecture notes in computer science ; 3294.
Teme:
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

Detalji primjeraka od RPI
Signatura: QA76.9.F67 T46 2004