Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Edición de la obra Applied formal methods--FM-Trends 98
| Autor | Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540482574 |
| Número de Cutter | H983a |