Opening book details…
Can I read 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 I on EtoBox?
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 I by Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.) is a computer science book available to read on EtoBox.
What is 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 I about?
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
Who reads 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 I?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
- Publisher
- Springer Berlin Heidelberg : Springer e-books
- Published
- 2010
- Language
- EN
- ISBN
- 9783642165580
- Category
- computer science
- Subjects
- Science, Engineering, Mathematics
- Updated
- 2026-03-25
Other editions & translations
More by Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Similar books
- Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers — Anna-Lena Lamprecht (2016)
- Trends and Topics in Computer Vision : ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I — Olga Russakovsky, Li Fei-Fei (auth.), Kiriakos N. Kutulakos (2012)
- Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings — Tiziana Margaria-Steffen; Bernhard Steffen; ISoLA 2008 (2008)