FME 2002: Formal Methods - Getting IT Right
International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on,…
Mehr
CHF 153.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Lindsay, Peter A. (Hrsg.)
- ISBN: 978-3-540-45614-8
- EAN: 9783540456148
- Produktnummer: 37296426
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2003
- Seitenangabe: 632 S.
- Plattform: PDF
- Auflage: 2002
- Reihenbandnummer: 2391
2 weitere Werke von Lars-Henrik (Hrsg.) Eriksson:
Bewertungen
Anmelden