.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Technology for Verification and Analysis
Yin-Kuen (National Taiwan University) . Ed(S): Tsay
€ 74.57
FREE Delivery in Ireland
Description for Automated Technology for Verification and Analysis
Paperback. Constitutes the refereed proceedings of the Third International Conference on Automated Technology for Verification and Analysis, ATVA 2005, held in Taipei, Taiwan, in October 2005. This book contains topical sections on model checking, combined methods, timed, embedded, and hybrid systems, and abstraction and reduction techniques. Editor(s): Tsay, Yin-Kuen (National Taiwan University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 520 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 26. Weight in Grams: 727.
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 2005, the third of the ATVA series, was held in Taipei, Taiwan, October 4–7, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of ... 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 2005, the third of the ATVA series, was held in Taipei, Taiwan, October 4–7, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
520
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
508
Place of Publication
Berlin, Germany
ISBN
9783540292098
SKU
V9783540292098
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Technology for Verification and Analysis