Stock image for illustration purposes only - book cover, edition or condition may vary.
Computer Aided Verification
Rajeev Alur
€ 129.66
FREE Delivery in Ireland
Description for Computer Aided Verification
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 548 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 28. Weight in Grams: 1700.
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and ... Read more
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and ... Read more
Product Details
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
548
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
536
Place of Publication
Berlin, Germany
ISBN
9783540223429
SKU
V9783540223429
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Computer Aided Verification