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 →
Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

€ 62,49

Formal Methods for Executable Software Models — 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. An English-language digital edition by Marco Bernardo (Editor); Ferruccio Damiani (Editor); Reiner Haehnle (Editor); Einar Broch Johnsen (Editor); Ina Schaefer (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-2473828 Category:

Description

About this book

Formal Methods for Executable Software Models — 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. An English-language digital edition by Marco Bernardo (Editor); Ferruccio Damiani (Editor); Reiner Haehnle (Editor); Einar Broch Johnsen (Editor); Ina Schaefer (Editor), available in PDF.

Edition details

  • Author / contributors: Marco Bernardo (Editor); Ferruccio Damiani (Editor); Reiner Haehnle (Editor); Einar Broch Johnsen (Editor); Ina Schaefer (Editor)
  • Publisher: Springer International Publishing
  • Publication date: May 26, 2014
  • Language: English
  • ISBNs: 9783319073163; 9783319073170
  • Digital formats: PDF

Additional information

Author

Marco Bernardo (Editor); Ferruccio Damiani (Editor); Reiner Haehnle (Editor); Einar Broch Johnsen (Editor); Ina Schaefer (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319073163, 9783319073170
Format

PDF
Publication date

May 26, 2014
DRM

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

Reviews

There are no reviews yet.

Be the first to review “Formal Methods for Executable Software Models”

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

Related products