作者: Eric Madelaine

支持

2 电子书 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
英语
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
英语
DRM
€57.85