Produktbild
John (Hrsg.) Fitzgerald

FM 2005: Formal Methods

International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Ebook (PDF Format)

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 20… Mehr

CHF 133.50

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

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Hayes, Ian J. (Hrsg.)
  • ISBN: 978-3-540-31714-2
  • EAN: 9783540317142
  • Produktnummer: 33365690
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2005
  • Seitenangabe: 558 S.
  • Plattform: PDF
  • Masse: 5'825 KB
  • Auflage: 2005
  • Abbildungen: Bibliographie

16 weitere Werke von John (Hrsg.) Fitzgerald:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.