FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this year was a special track on tools and industrial application…
Mehr
CHF 186.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Dams, Dennis (Hrsg.)
- ISBN: 978-3-642-05089-3
- EAN: 9783642050893
- Produktnummer: 33366969
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2009
- Seitenangabe: 820 S.
- Plattform: PDF
- Masse: 19'218 KB
- Auflage: 2009
- Abbildungen: Bibliographie
- Reihenbandnummer: 5850
14 weitere Werke von Ana (Hrsg.) Cavalcanti:
Theoretical Aspects of Computing
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Ebook (PDF Format)
CHF 93.50
Software Engineering for Robotics
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Ebook (PDF Format)
CHF 130.00
Bewertungen
Anmelden