FM 2008 : Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Edición de la obra FM 2008 : Formal Methods
| Autor | Jorge Cuellar, Tom Maibaum |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540682370 |
| Número de Cutter | C965f |