Korso: Methods, Languages and Tools for the Construction of Correct Software
Final Report (Lecture Notes in Computer Science, 1009)
Edición de la obra KORSO
| Autor | M. Broy, Stefan Jähnichen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | June 1995 |
| Idioma | inglés |
| Páginas | 449 |
| Formato | Paperback |
| ISBN-13 | 9783540605898 |
| ISBN-10 | 3540605894 |
| Número de Cutter | B885k |