COMPUTER AIDED VERIFICATION: 20TH INTERNATIONAL CONFERENCE, CAV 2008 PRINCETON, NJ, USA, JULY 7-14, 2008, PROCEEDINGS: 5123 (Theoretical Computer Science and General Issues)
-10%
Availability: In Stock

COMPUTER AIDED VERIFICATION: 20TH INTERNATIONAL CONFERENCE, CAV 2008 PRINCETON, NJ, USA, JULY 7-14, 2008, PROCEEDINGS: 5123 (Theoretical Computer Science and General Issues)

SKU: 9783540705437

Original price was: ₹10,453.95.Current price is: ₹9,408.56.

Explore cutting-edge research in formal methods with the proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008). Held in Princeton, NJ, this volume showcases 33 revised full papers, 14 tool papers, and 2 invited talks from leading experts in the field. Discover advancements in concurrency, memory consistency, abstraction, hybrid systems, dynamic verification, modeling, specification formalisms, decision procedures, program verification, security analysis, hardware verification, model checking, and space-efficient algorithms. A must-have resource for researchers and practitioners in theoretical computer science and automated verification, published by Springer.

5 in stock

Category: Tag:

Description

  • ISBN-10: 0824796284
  • ISBN-13: 978-3540705437
  • Edition: 2008th
  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Publication date: 17 June 2008
  • Language: English
  • Dimensions: 15.24 x 3.3 x 23.37 cm
  • Print length: 558 pages

Related products