Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and ... Read More

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems. Read Less

• All from $51.65
• New Books from $51.65
• Used Books from $87.71
• Rare Books from $87.71
• eBook from $16.50

• All Copies (1)
• Softcover (1)
• Choose Edition (1)

• Book Details
• Seller
• Sort Seller Rating Price: Low to High Price: High to Low Condition Condition: Reverse Pub Date Pub Date: Reverse

• Paperback, Good 2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642333859 See Item Details ▾

  Bonita HIGH Santa Clarita, CA, USA

  $87.71 Add to Cart Add this copy of Automated Technology for Verification and Analysis: to cart. $87.71, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2012 by Springer.

  	Edition: 2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K Paperback, Good	Details: ISBN: 3642333850 ISBN-13: 9783642333859 Edition: 2012 edition Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 2012 Language: English Alibris ID: 18143052501	Shipping Options: Standard Shipping: $4.99 Trackable Expedited: $9.99 Choose your shipping method in Checkout. Costs may vary based on destination.
  Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
  ► Contact This Seller
  Hide Details ▴

2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin ISBN-13: 9783642333859 2012 edition Paperback See All from $51.65 eBook from $16.50