FM 2005: Formal Methods
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)
Edición de la obra FM 2005
| Autor | John Fitzgerald, Andrzej Tarlecki |
|---|---|
| Editorial | Springer |
| Fecha de publicación | August 22, 2005 |
| Idioma | inglés |
| Páginas | 558 |
| Formato | Paperback |
| ISBN-13 | 9783540278825 |
| ISBN-10 | 3540278826 |
| OCLC | 61029994 |
| LCCN | 2005928720 |