Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Technology for Verification and Analysis
N/A
€ 72.25
FREE Delivery in Ireland
Description for Automated Technology for Verification and Analysis
Paperback. This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1710.
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2006, the fourth of the ATVA series, was held in Beijing, China, October 23-26, 2006. The main topics of the symposium include th- ries useful for providing designers with ... Read more
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2006, the fourth of the ATVA series, was held in Beijing, China, October 23-26, 2006. The main topics of the symposium include th- ries useful for providing designers with ... Read more
Product Details
Format
Paperback
Publication date
2006
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
560
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
546
Place of Publication
Berlin, Germany
ISBN
9783540472377
SKU
V9783540472377
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Technology for Verification and Analysis