Stock image for illustration purposes only - book cover, edition or condition may vary.
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science)
Aarti Gupta (Ed.)
€ 161.48
FREE Delivery in Ireland
Description for Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science)
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 558 pages, biography. BIC Classification: UB; UMB; UMX; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking. ... Read more
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking. ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
558
Place of Publication
Berlin, Germany
ISBN
9783540705437
SKU
V9783540705437
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-4
Reviews for Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science)