FM 2005 : Formal Methods
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Edición de la obra FM 2005 : Formal Methods
| Autor | John Fitzgerald, Ian J. Hayes |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540317142 |
| Número de Cutter | F553f |