FME 2002: Formal Methods - Getting IT Right
International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science)
Edición de la obra FME 2002
| Autor | Lars-Henrik Eriksson |
|---|---|
| Editorial | Springer |
| Fecha de publicación | August 26, 2002 |
| Idioma | inglés |
| Páginas | 625 |
| Formato | Paperback |
| ISBN-13 | 9783540439288 |
| ISBN-10 | 3540439285 |
| OCLC | 506223989, 50123531 |
| LCCN | 2002026690 |
| Número de Cutter |