Formal Program Development
Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science)
Edición de la obra Formal program development
| Autor | Bernhard Moller, Helmut Partsch |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 1993 |
| Idioma | inglés |
| Páginas | 378 |
| ISBN-13 | 9780387574998 |
| ISBN-10 | 0387574999 |
| Número de Cutter | M726f |