Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Lecture Notes in Computer Science - Ganesh Gopalakrishnan - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642221095 - July 5, 2011
In case cover and title do not match, the title is correct

Ganesh Gopalakrishnan
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Lecture Notes in Computer Science 2011 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.

784 pages, 134 black & white illustrations, 46 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 5, 2011
ISBN13 9783642221095
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 763
Dimensions 155 × 235 × 39 mm   ·   1.08 kg
Language French  
Editor Gopalakrishnan, Ganesh
Editor Qadeer, Shaz

More by Ganesh Gopalakrishnan

Show all

Mere med samme udgiver

See all of Ganesh Gopalakrishnan ( e.g. Paperback Book and Hardcover Book )