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

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

€ 62,49

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change — 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. 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-2480514 Category:

Description

About this book

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change — 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. 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: 9783662452332; 9783662452349
  • Digital formats: PDF

Additional information

Author

Tiziana Margaria (Editor); Bernhard Steffen (Editor)

Publisher

Springer Berlin Heidelberg

Language

English

ISBN

9783662452332, 9783662452349

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. Technologies for Mastering Change”

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