Opening book details…
Can I read Teaching Formal Methods: Second International Conference, Tfm 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (lecture Notes In Computer Science) on EtoBox?
Teaching Formal Methods: Second International Conference, Tfm 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (lecture Notes In Computer Science) by Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.) is a computer science book available to read on EtoBox.
What is Teaching Formal Methods: Second International Conference, Tfm 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (lecture Notes In Computer Science) about?
This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009. The 10 revised full papers presented together with an abstracts of invited talk were carefully reviewed and selected from 19 submissions. The papers presented explore the experiences of teaching FMs, both successful and unsuccessful, educational resources including the use of books, case studies and the internet, the education of weak and mathphobic students, the integration, or o
Who reads Teaching Formal Methods: Second International Conference, Tfm 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (lecture Notes In Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2009
- Language
- EN
- ISBN
- 9783642049118
- Category
- computer science
- Subjects
- Engineering, Mathematics, Programming
- Updated
- 2026-03-25
More by Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
Browse all works by Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
Similar books
- Fm 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (lecture Notes In Computer Science) — Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (2009)
- Formal Methods For Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (lecture Notes In Computer Science) — Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (2009)
- Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science (3771)) — David Lorge Parnas (auth.), Judi Romijn, Graeme Smith, Jaco van de Pol (2005)
- Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers (Lecture Notes in Computer Science, 5983) — Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (2010)
- Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers (Lecture Notes in Computer Science (6563)) — Martin Erwig (auth.), Brian Malloy, Steffen Staab, Mark van den Brand (2011)
- Network control and optimization : Third Euro-NF Conference, NET-COOP 2009, Eindhoven, the Netherlands, November 23-25, 2009 : proceedings — Carl Graham, Philippe Robert, Maaike Verloop (auth.), Rudesindo Núñez-Queija, Jacques Resing (2009)