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

Formal Methods and Software Engineering

€ 62,49

Formal Methods and Software Engineering — 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. An English-language digital edition by Michael Butler (Editor); Sylvain Conchon (Editor); Fatiha Zaïdi (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-2502517 Category:

Description

About this book

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in…

Catalogue preview, eBooks.com

Edition details

  • Author / contributors: Michael Butler (Editor); Sylvain Conchon (Editor); Fatiha Zaïdi (Editor)
  • Publisher: Springer International Publishing
  • Publication date: November 30, 2015
  • Language: English
  • ISBNs: 9783319254227; 9783319254234
  • Digital formats: PDF

Additional information

Author

Michael Butler (Editor); Sylvain Conchon (Editor); Fatiha Zaïdi (Editor)

Publisher

Springer International Publishing

Language

English

ISBN

9783319254227, 9783319254234

Format

PDF

Publication date

November 30, 2015

DRM

DRM-free edition available

Download format PDF (.pdf)

Reviews

There are no reviews yet.

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

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