.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Technology for Verification and Analysis
N/A
€ 129.98
FREE Delivery in Ireland
Description for Automated Technology for Verification and Analysis
Paperback. Constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. This work addresses topics such as model-checking theory, theorem-proving theory, state-space reduction techniques, parametric analysis, and more. Series: Lecture Notes in Computer Science. Num Pages: 522 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 727.
It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31- November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in industry and brought forward various hot research activities in both Europe and USA. In comparison, easternAsia has been quiet in the forum.With more and more IC design houses moving from SiliconValley to easternAsia, we believe this is a good time to start cultivating related research activities in the region. TheemphasisoftheATVAworkshopseriesisonvariousmechanicalandinformative techniques, which can give engineers valuable ... Read more
It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31- November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in industry and brought forward various hot research activities in both Europe and USA. In comparison, easternAsia has been quiet in the forum.With more and more IC design houses moving from SiliconValley to easternAsia, we believe this is a good time to start cultivating related research activities in the region. TheemphasisoftheATVAworkshopseriesisonvariousmechanicalandinformative techniques, which can give engineers valuable ... Read more
Product Details
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
522
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
510
Place of Publication
Berlin, Germany
ISBN
9783540236108
SKU
V9783540236108
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Technology for Verification and Analysis