Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures
Edición de la obra Formal methods for components and objects
| Autor | Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540921882 |
| Número de Cutter | B721f |