Formal Methods for Components and Objects Lecture Notes in Computer Science
Edición de la obra Formal Methods for Components and Objects Lecture Notes in Computer Science
| Autor | Frank S. de Boer |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2009 |
| ISBN-13 | 9783642041662 |
| OCLC | 436030805 |
| LCCN | 2009933501 |
| Número de Cutter | B672f |