Your Waterstones card is changing, introducing...
TELL ME MORE
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Theoretical Computer Science and General Issues 6806 (Paperback)
  • Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Theoretical Computer Science and General Issues 6806 (Paperback)
zoom

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Theoretical Computer Science and General Issues 6806 (Paperback)

(editor), (editor)
£89.99
Paperback 763 Pages / Published: 05/07/2011
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.

The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642221095
Number of pages: 763
Weight: 1163 g
Dimensions: 235 x 155 x 39 mm
Edition: 2011 ed.

You may also be interested in...

Python For Dummies
Added to basket
£22.99
Paperback
Python Cookbook: No. 3
Added to basket
Puzzles for Programmers and Pros
Added to basket
Learning SQL
Added to basket
£31.99
Paperback
Coding for Beginners in easy steps
Added to basket
Code
Added to basket
£21.99
Paperback
Python in Easy Steps
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
How to Build a Billion Dollar App
Added to basket
The Bride of Science
Added to basket
Clean Code
Added to basket
£36.99
Paperback
C++ Pocket Reference
Added to basket
C Programming in Easy Steps
Added to basket
SQL For Dummies
Added to basket
£21.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.