Programming with specifications
an introduction to ANNA, a language for specifying Ada programs
Edición de la obra Programming with specifications
| Autor | David C. Luckham |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1990 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 416 |
| ISBN-10 | 0387972544, 3540972544 |
| LCCN | 90217560 |
| Serie | Texts and monographs in computer science |
| Número de Cutter | L941p |