Thomas Ball
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Theoretical Computer Science and General Issues Thomas Ball 2006 edition

Name: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Theoretical Computer Science and General Issues
Price: 105.49 USD
Availability: OutOfStock
Author: Thomas Ball

Price

$ 105.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Theoretical Computer Science and General Issues

Thomas Ball

2006 edition

Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems

564 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	August 8, 2006
ISBN13	9783540374060
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	564
Dimensions	155 × 235 × 30 mm · 857 g
Language	German
Editor	Ball, Thomas
Editor	Jones, Robert B.