Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings: 8044 (Lecture Notes in Computer Science)

by Helmut Veith (Editor), Natasha Sharygina (Editor)

New
Paperback
2013
$114.94

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.

Synopsis

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.

$114.94

Save:$10.02 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 1040
Edition: 2013
Publisher: Springer
Published: 14 Jul 2013
ISBN 10: 3642397980
ISBN 13: 9783642397981

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings: 8044 (Lecture Notes in Computer Science)

New

$114.94

Synopsis

$114.94

More Information