Eric Madelaine – författare
Visar alla böcker från författaren Eric Madelaine. Handla med fri frakt och snabb leverans.
4 produkter
Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Av Ivan Lanese, Eric Madelaine
Häftad, 2015
567 kr
Lägg i varukorg
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 presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in …
Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Av Eric Madelaine, Ivan Lanese
E-bok, 2015
755 kr
Lägg i varukorg
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 presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in …
Formal Methods for Components and Objects
7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Av Marcello M. Bonsangue, Eric Madelaine
Häftad, 2009
567 kr
Lägg i varukorg
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 two decades from functional to structural issues. Formal methods have been applied successfully to …
Formal Methods for Components and Objects
7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Av Eric Madelaine, Marcello M. Bonsangue
E-bok, 2009
755 kr
Lägg i varukorg
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 two decades from functional to structural issues. Formal methods have been applied successfully to …
