Produktbild
Michael (Hrsg.) Butler

FM 2011: Formal Methods

17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Buch

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

CHF 115.00

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

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Schulte, Wolfram (Hrsg.)
  • ISBN: 978-3-642-21436-3
  • EAN: 9783642214363
  • Produktnummer: 11328994
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2011
  • Seitenangabe: 450 S.
  • Masse: H23.9 cm x B15.9 cm x D2.8 cm 734 g
  • Abbildungen: Book
  • Reihenbandnummer: 6664
  • Gewicht: 734

23 weitere Werke von Michael (Hrsg.) Butler:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.