Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings - Lecture Notes in Computer Science - Natasha Sharygina - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642397981 - July 14, 2013
In case cover and title do not match, the title is correct

Natasha Sharygina
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings - Lecture Notes in Computer Science 2013 edition

Price
$ 105.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 28 - Aug 3
Get notified about new Natasha Sharygina releases

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

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.

1037 pages, 237 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 14, 2013
ISBN13 9783642397981
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 1015
Dimensions 155 × 235 × 51 mm   ·   1.56 kg
Language French  
Editor Sharygina, Natasha
Editor Veith, Helmut

More from the same publisher

See all of Natasha Sharygina ( e.g. Paperback Book )