search for books and compare prices
cover image
Computer Aided Verification: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
By Natasha Sharygina (editor) and Helmut Veith (editor)
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher Springer-Verlag New York Inc
Publication date July 14, 2013
Pages 1015
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783642397981
ISBN-10 3642397980
Published in Europe
Original list price $167.00
Summaries and Reviews
Book cover for 9783642397981
The price comparison is for this edition
from Springer-Verlag New York Inc (July 14, 2013)
9783642397981 | details & prices | 1015 pages | List price $167.00

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. is not a bookseller, just an information source.