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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

€ 62,49

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications — 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. An English-language digital edition by Tiziana Margaria (Editor); Bernhard Steffen (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-2480513 Category:

Description

About this book

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications — 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. An English-language digital edition by Tiziana Margaria (Editor); Bernhard Steffen (Editor), available in PDF.

Edition details

  • Author / contributors: Tiziana Margaria (Editor); Bernhard Steffen (Editor)
  • Publisher: Springer Berlin Heidelberg
  • Publication date: September 26, 2014
  • Language: English
  • ISBNs: 9783662452301; 9783662452318
  • Digital formats: PDF

Additional information

Author

Tiziana Margaria (Editor); Bernhard Steffen (Editor)

Publisher

Springer Berlin Heidelberg

Language

English

ISBN

9783662452301, 9783662452318

Format

PDF

Publication date

September 26, 2014

DRM

DRM-free edition available

Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications”

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