Stock image for illustration purposes only - book cover, edition or condition may vary.
Leveraging Applications of Formal Methods, Verification, and Validation
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
€ 128.13
FREE Delivery in Ireland
Description for Leveraging Applications of Formal Methods, Verification, and Validation
Paperback. Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 708 pages, 220 black & white illustrations, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
708
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
708
Place of Publication
Berlin, Germany
ISBN
9783642165573
SKU
V9783642165573
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Leveraging Applications of Formal Methods, Verification, and Validation