Author: Eric Madelaine

Support

2 Ebooks by Eric Madelaine

Ivan Lanese & Eric Madelaine: Formal Aspects of Component Software
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers prese …
PDF
English
DRM
€57.90
Marcello M. Bonsangue & Eric Madelaine: Formal Methods for Components and Objects
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last …
PDF
English
DRM
€57.85