https://www.ebooknetworking.net/books_detail-3319216899.html

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Volume 9206)

Name: Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Volume 9206)
Author: Kroening, Daniel
ISBN: 9783319216898

AuthorKroening, Daniel

PublisherSpringer

CategoryPaperback

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

136.43 CAD

Buy New on Amazon 🇨🇦

In Stock

Book Details

Author(s)Kroening, Daniel

PublisherSpringer

ISBN / ASIN3319216899

ISBN-139783319216898

AvailabilityIn Stock

CategoryPaperback

MarketplaceCanada 🇨🇦

More Books in Paperback

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Volume 9206)

Book Details

More Books in Paperback

More Books by Kroening, Daniel