Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Edición de la obra Formal Methods for Components and Objects
| Autor | Frank S. de Boer |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2010 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642170706, 9783642170713 |
| LCCN | 2010938608 |
| Serie | Lecture Notes in Computer Science -- 6286 |
| Número de Cutter | B672f |