CURRENTLY SOLD OUT

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings by Jose Nuno Oliveira, Jeremy Gibbons (Paperback, 2009)

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783642049118
eBay Product ID (ePID)
104520136

Product Key Features

Author
Jose Nuno Oliveira, Jeremy Gibbons
Publication Name
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2009
Type
Textbook
Number of Pages
177 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
5846
Item Weight
302g

Additional Product Features

Series Title
Theoretical Computer Science and General Issues
Editor
Jose Nuno Oliveira, Jeremy Gibbons
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)
5.0 out of 5 stars based on 12 product ratings
AU $182.95 New
AU $79.95 Used
Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)
4.9 out of 5 stars based on 157 product ratings
AU $39.98 New
AU $31.50 Used
The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
In-Basket Case Studies by Guy Adamson (Paperback, 1986)
No ratings or reviews yet.
AU $19.99 New
---- Used
Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)
5.0 out of 5 stars based on 1 product rating
AU $31.33 New
---- Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.5 out of 5 stars based on 4 product ratings
AU $15.00 New
---- Used
A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)
No ratings or reviews yet.
AU $45.09 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.74
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.65
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $77.06
George Hrabovsky Leonard Susskind Classical Mechanics (Paperback)
AU $27.49
Trending at AU $31.72
NEW Learn to Earn By Peter Lynch Paperback Free Shipping
AU $30.65
Trending at AU $52.68
Steven Holzner Physics Essentials For Dummies (Paperback)
AU $25.11
Trending at AU $28.26

Shop by category

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings by Jose Nuno Oliveira, Jeremy Gibbons (Paperback, 2009)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)

Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)

In-Basket Case Studies by Guy Adamson (Paperback, 1986)

Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)

Save on Adult Learning & University

Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A

Netter Atlas of Human Anatomy: Classic Regional Approach

Havard's Nursing Guide to Drugs

George Hrabovsky Leonard Susskind Classical Mechanics (Paperback)

NEW Learn to Earn By Peter Lynch Paperback Free Shipping

Steven Holzner Physics Essentials For Dummies (Paperback)

You may also like

Paperbacks 2000-2009 Publication Year

Paperback Dictionaries 2000-2009 Publication Year

2000-2009 Publication Year Paperbacks Books

Non-Fiction Teaching Paperback Fiction & Books

Paperback Language Course 2000-2009 Publication Year

Paperback Non-Fiction & 2000-2009 Publication Year Books