Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Applied formal methods--FM-Trends 98
| Autor | Dieter Hutter, Gerhard Goos |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 29, 1999 |
| Idioma | inglés |
| Páginas | 377 |
| Formato | Paperback |
| ISBN-13 | 9783540664628 |
| ISBN-10 | 3540664629 |
| OCLC | 42296292 |
| LCCN |