Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Theoretical Computer Science and General Issues 5846 (Paperback)
  • Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Theoretical Computer Science and General Issues 5846 (Paperback)
zoom

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Theoretical Computer Science and General Issues 5846 (Paperback)

(volume editor), (volume editor)
£62.99
Paperback 177 Pages / Published: 26/10/2009
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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. The conference took place as part of the ?rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems-a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e?ectively with simple, mathematical abstractions, and with practical notions of inference and proof.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642049118
Number of pages: 177
Weight: 302 g
Dimensions: 235 x 155 x 13 mm
Edition: 2009 ed.

You may also be interested in...

Lambda-Calculus and Combinators
Added to basket
A First Course in Network Theory
Added to basket
Boosting
Added to basket
£32.00
Paperback
Foundation Mathematics
Added to basket
Data Analysis with Open Source Tools
Added to basket
Concrete Mathematics
Added to basket
Modelling Computing Systems
Added to basket
Discrete Mathematics
Added to basket
Logic in Computer Science
Added to basket
The Elements of Statistical Learning
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
The Algorithm Design Manual
Added to basket
Discrete Mathematics for Computing
Added to basket
Bayesian Methods for Hackers
Added to basket

Please sign in to write a review

Your review has been submitted successfully.