Formal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010
Edición de la obra Formal methods for components and objects
| Autor | Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| ISBN-13 | 9783642252716 |
| Número de Cutter | A288f |