Produktbild
Jeremy (Hrsg.) Gibbons

Teaching Formal Methods

Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Ebook (PDF Format)

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, an… Mehr

CHF 93.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Nuno Oliveira, Jose (Hrsg.)
  • ISBN: 978-3-642-04912-5
  • EAN: 9783642049125
  • Produktnummer: 33365680
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2009
  • Seitenangabe: 177 S.
  • Plattform: PDF
  • Masse: 4'832 KB
  • Auflage: 2009
  • Abbildungen: Bibliographie
  • Reihenbandnummer: 5846

19 weitere Werke von Jeremy (Hrsg.) Gibbons:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.