FM 2005: Formal Methods
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
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)
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
Anmelden