Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)
Edición de la obra Formal methods for components and objects
| Autor | Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 5, 2003 |
| Idioma | inglés |
| Páginas | 509 |
| Formato | Paperback |
| ISBN-13 | 9783540203032 |