Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
This volume contains the conference proceedings of the 4th International S- posium on Leveraging Applications of Formal Methods, Veri?cation and Vali- tion, ISoLA 2010, which was held in Greece (Heraklion, Crete) October 18-21, 2010, and sponsored by EASST. Following the tradition of its forerunners in 2004, 2006, and 2008 in Cyprus and Chalchidiki, and the ISoLA Workshops in Greenbelt (USA) in 2005, in Poitiers (France) in 2007, and in Potsdam (Germany) in 2009, ISoLA 2010 p- vided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the speci?cation, ana- sis, ver…
Mehr
CHF 130.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Steffen, Bernhard (Hrsg.)
- ISBN: 978-3-642-16560-3
- EAN: 9783642165603
- Produktnummer: 10176437
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 498 S.
- Masse: H24.1 cm x B15.6 cm x D2.4 cm 724 g
- Abbildungen: Book
- Reihenbandnummer: 6416
- Gewicht: 724
53 weitere Werke von Tiziana (Hrsg.) Margaria:
Bewertungen
Anmelden