.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe
€ 68.05
FREE Delivery in Ireland
Description for Verification, Model Checking, and Abstract Interpretation
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 397 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa (1998), Venice (2002), New York (2003), Venice(2004),Paris(2005),Charleston(2006),Nice(2007),SanFrancisco(2008), and Savannah (2009). VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization, and the advance of hybrid methods that combine two or all three areas. ... Read more
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa (1998), Venice (2002), New York (2003), Venice(2004),Paris(2005),Charleston(2006),Nice(2007),SanFrancisco(2008), and Savannah (2009). VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization, and the advance of hybrid methods that combine two or all three areas. ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
397
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
397
Place of Publication
Berlin, Germany
ISBN
9783642113185
SKU
V9783642113185
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Verification, Model Checking, and Abstract Interpretation