A little wonder in every chapter. Find your next favourite read

Verified Software: Theorie, Tools, Experiments

€ 62,49

Verified Software: Theorie, Tools, Experiments — 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers. An English-language digital edition by Ernie Cohen (Editor); Andrey Rybalchenko (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-2480390 Category:

Description

About this book

Verified Software: Theorie, Tools, Experiments — 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers. An English-language digital edition by Ernie Cohen (Editor); Andrey Rybalchenko (Editor), available in PDF.

Edition details

  • Author / contributors: Ernie Cohen (Editor); Andrey Rybalchenko (Editor)
  • Publisher: Springer Berlin Heidelberg
  • Publication date: January 15, 2014
  • Language: English
  • ISBNs: 9783642541070; 9783642541087
  • Digital formats: PDF

Additional information

Author

Ernie Cohen (Editor); Andrey Rybalchenko (Editor)

Publisher

Springer Berlin Heidelberg

Language

English

ISBN

9783642541070, 9783642541087

Format

PDF

Publication date

January 15, 2014

DRM

DRM-free edition available

Download format PDF (.pdf)

Reviews

There are no reviews yet.

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

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