Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin Heidelberg Okt 2009, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 192 pp. Englisch.
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 1st edition. 175 pages. 9.00x6.00x0.50 inches. In Stock.
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Buchpark, Trebbin, Germany
Book
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 192.
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Buchpark, Trebbin, Germany
Book
Condition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen, Ausgabe 2009 | Seiten: 192 | Sprache: Englisch.
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New.
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Published by Springer 2009-10, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: moluna, Greven, Germany
Book Print on Demand
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 .
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.