Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Technology for Verification and Analysis
. Ed(S): Bouajjani, Ahmed; Chin, Wei-Ngan
€ 68.24
FREE Delivery in Ireland
Description for Automated Technology for Verification and Analysis
Paperback. A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers. Editor(s): Bouajjani, Ahmed; Chin, Wei-Ngan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, 112 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during September 21-24, 2010 in Singapore. The primary objective of the ATVA c- ferences remains the same: to exchange and promote the latest advances of state-of-the-art research on theoretical and practical aspects of automated an- ysis, veri?cation and synthesis. From 72 papers submitted to ATVA 2010 in response to our call for papers, the Program Committee accepted 21 regular papers and 9 tool papers. Each paper received at least three reviews. The Program Committee worked hard to ensure that every ... Read more
These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during September 21-24, 2010 in Singapore. The primary objective of the ATVA c- ferences remains the same: to exchange and promote the latest advances of state-of-the-art research on theoretical and practical aspects of automated an- ysis, veri?cation and synthesis. From 72 papers submitted to ATVA 2010 in response to our call for papers, the Program Committee accepted 21 regular papers and 9 tool papers. Each paper received at least three reviews. The Program Committee worked hard to ensure that every ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
404
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
404
Place of Publication
Berlin, Germany
ISBN
9783642156427
SKU
V9783642156427
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-3
Reviews for Automated Technology for Verification and Analysis