Livros de Eric Madelaine - BookPine

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Ivan Lanese

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Marcello M. Bonsangue

Formal Methods for Components and Objects: 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007,

Formal Methods for Components and Objects: 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007,

Frank S. de Boer