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 →
Verified Software: Theories, Tools and Experiments

Verified Software: Theories, Tools and Experiments

€ 58,74

Verified Software: Theories, Tools and Experiments — 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. An English-language digital edition by Dimitra Giannakopoulou (Editor); Daniel Kroening (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-2474263 Category:

Description

About this book

Verified Software: Theories, Tools and Experiments — 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. An English-language digital edition by Dimitra Giannakopoulou (Editor); Daniel Kroening (Editor), available in PDF.

Edition details

  • Author / contributors: Dimitra Giannakopoulou (Editor); Daniel Kroening (Editor)
  • Publisher: Springer International Publishing
  • Publication date: October 13, 2014
  • Language: English
  • ISBNs: 9783319121536; 9783319121543
  • Digital formats: PDF

Additional information

Author

Dimitra Giannakopoulou (Editor); Daniel Kroening (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319121536, 9783319121543
Format

PDF
Publication date

October 13, 2014
DRM

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

Reviews

There are no reviews yet.

Be the first to review “Verified Software: Theories, Tools and Experiments”

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

Related products