Formal Methods for Components and Objects
7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Edición de la obra Formal methods for components and objects
| Autor | Marcello M. Bonsangue, Eric Madelaine |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642041679 |
| Número de Cutter | B721f |