FME 2003: Formal Methods
International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Formal methods
| Autor | Keijiro Araki, Stefania Gnesi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 10, 2003 |
| Idioma | inglés |
| Páginas | 942 |
| Formato | Paperback |
| ISBN-13 | 9783540408284 |
| ISBN-10 | 3540408282 |
| OCLC | 52858527 |
| LCCN | 2003058587 |