ANNA, a language for annotating Ada programs
reference manual
Edición de la obra Anna: A Language for Annotating Ada Programs
| Autor | David C. Luckham |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1987 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 143 |
| ISBN-10 | 0387179801 |
| OCLC | 16003886 |
| LCCN | 87013030 |
| Serie | Lecture notes in computer science ; · 260 |
| Número de Cutter |