The Vienna development method
the Meta-language
Edición de la obra The Vienna development method
| Autor | D. Bjørner, Jones, C. B. |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1978 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 382 |
| ISBN-10 | 0387087666 |
| OCLC | 3843153 |
| LCCN | 78007232 |
| Serie | Lecture notes in computer science ; · 61 |