Anna: A Language for Annotating Ada Programs
A Reference Manual (Lecture Notes in Computer Science)
Edición de la obra Anna: A Language for Annotating Ada Programs
| Autor | David C. Luckham |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 1987 |
| Idioma | inglés |
| Páginas | 143 |
| ISBN-13 | 9780387179803 |
| ISBN-10 | 0387179801 |
| Número de Cutter | L941a |