Gå direkte til innholdet
Teaching Formal Methods
Spar

Teaching Formal Methods

This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association.
Undertittel
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Opplag
2009 ed.
ISBN
9783642049118
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
26.10.2009
Antall sider
177