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 →
Software Engineering and Formal Methods

Software Engineering and Formal Methods

€ 62,49

Software Engineering and Formal Methods — SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. An English-language digital edition by Carlos Canal (Editor); Akram Idani (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-2483864 Category:

Description

About this book

Software Engineering and Formal Methods — SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. An English-language digital edition by Carlos Canal (Editor); Akram Idani (Editor), available in PDF.

Edition details

  • Author / contributors: Carlos Canal (Editor); Akram Idani (Editor)
  • Publisher: Springer International Publishing
  • Publication date: January 31, 2015
  • Language: English
  • ISBNs: 9783319152004; 9783319152011
  • Digital formats: PDF

Additional information

Author

Carlos Canal (Editor); Akram Idani (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319152004, 9783319152011
Format

PDF
Publication date

January 31, 2015
DRM

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

Reviews

There are no reviews yet.

Be the first to review “Software Engineering and Formal Methods”

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

Related products