Tallenna
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.
- Alaotsikko
- Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
- Toimittaja
- Jeremy Gibbons, Jose Nuno Oliveira
- Painos
- 2009 ed.
- ISBN
- 9783642049118
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 26.10.2009
- Sivumäärä
- 177
