Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)
Edición de la obra Formal methods for components and objects
| Autor | Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 25, 2006 |
| Idioma | inglés |
| Páginas | 429 |
| Formato | Paperback |
| ISBN-13 | 9783540367499 |
| ISBN-10 | 3540367497 |