Merkzettel Warenkorb
  • Produktbild: Teaching Formal Methods
  • Produktbild: Teaching Formal Methods

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.10.2009

Herausgeber

Jeremy Gibbons + weitere

Verlag

Springer Berlin

Seitenzahl

177

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

300 g

Sprache

Englisch

ISBN

978-3-642-04911-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.10.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

177

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

300 g

Sprache

Englisch

ISBN

978-3-642-04911-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Teaching Formal Methods
  • Produktbild: Teaching Formal Methods
  • Abstraction and Modelling: A Complementary Partnership.- Teaching Formal Methods for the Unconquered Territory.- Teaching Formal Methods Based on Rewriting Logic and Maude.- Which Mathematics for the Information Society?.- What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.- Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z.- Teaching Program Specification and Verification Using JML and ESC/Java2.- How to Explain Mistakes.- Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.- On Teaching Formal Methods: Behavior Models and Code Analysis.- Teaching Concurrency: Theory in Practice.