Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Edición de la obra Formal methods for components and objects
| Autor | Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| Páginas | 241 |
| ISBN-13 | 9783642406157 |
| Número de Cutter | G429f |