The Vienna Development Method
The Meta-Language (Lecture Notes in Computer Science)
Edición de la obra The Vienna development method
| Autor | D. Bjørner, Jones, C. B. |
|---|---|
| Editorial | Springer |
| Fecha de publicación | June 23, 1978 |
| Idioma | inglés |
| Páginas | 404 |
| Formato | Paperback |
| ISBN-13 | 9783540087663 |
| ISBN-10 | 3540087664 |
| Número de Cutter | B626v |