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

Software Engineering and Formal Methods

€ 62,49

Software Engineering and Formal Methods — SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. An English-language digital edition by Steve Counsell (Editor); Manuel Núñez (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-2473771 Category:

Description

About this book

Software Engineering and Formal Methods — SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. An English-language digital edition by Steve Counsell (Editor); Manuel Núñez (Editor), available in PDF.

Edition details

  • Author / contributors: Steve Counsell (Editor); Manuel Núñez (Editor)
  • Publisher: Springer International Publishing
  • Publication date: July 08, 2014
  • Language: English
  • ISBNs: 9783319050317; 9783319050324
  • Digital formats: PDF

Additional information

Author

Steve Counsell (Editor); Manuel Núñez (Editor)

Publisher

Springer International Publishing

Language

English

ISBN

9783319050317, 9783319050324

Format

PDF

Publication date

July 08, 2014

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 *