Picture 1 of 1

Stock photo

Computer Aided Verification - 9783642397981 - Picture 1 of 1

Lecture Notes in Computer Science Ser.: Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 2013, Proceedings by Helmut Veith (2013, Trade Paperback)

BOOKS etc. (541895)

99.5% positive Feedback

Price:

£74.41

Free postage

Estimated delivery Thu, 31 Jul - Thu, 7 Aug

Returns:

60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

ISBN-13: 9783642397981, 978-3642397981. Computer Aided Verification. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings.

About this product

Product Identifiers

PublisherSpringer Berlin / Heidelberg

ISBN-103642397980

ISBN-139783642397981

eBay Product ID (ePID)176781858

Product Key Features

Number of PagesXxii, 1015 Pages

LanguageEnglish

Publication NameComputer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 2013, Proceedings

SubjectSoftware Development & Engineering / Quality Assurance & Testing, Systems Architecture / General, Software Development & Engineering / General, Computer Science

Publication Year2013

TypeTextbook

Subject AreaComputers

AuthorHelmut Veith

SeriesLecture Notes in Computer Science Ser.

FormatTrade Paperback