A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Computer Aided Verification

Computer Aided Verification

€ 112,49

Computer Aided Verification — 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings. An English-language digital edition by Armin Biere (Editor); Roderick Bloem (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2473912 Category:

Description

About this book

Computer Aided Verification — 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings. An English-language digital edition by Armin Biere (Editor); Roderick Bloem (Editor), available in PDF.

Edition details

  • Author / contributors: Armin Biere (Editor); Roderick Bloem (Editor)
  • Publisher: Springer International Publishing
  • Publication date: June 28, 2014
  • Language: English
  • ISBNs: 9783319088662; 9783319088679
  • Digital formats: PDF

Additional information

Author

Armin Biere (Editor); Roderick Bloem (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319088662, 9783319088679
Format

PDF
Publication date

June 28, 2014
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Computer Aided Verification”

Your email address will not be published. Required fields are marked *

Related products