ANNA, a language for annotating Ada programs : reference manual / David C. Luckham [and others].
| Other author/creator | Luckham, David C. |
| Format | Book and Print |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1987. |
| Description | v, 143 pages ; 25 cm. |
| Subject(s) |
Click here for more information about this title
| Series | Lecture notes in computer science ; 260 Lecture notes in computer science 260. ^A466336 |
| General note | Spine title: ANNA reference manual. |
| General note | Includes index. |
| Bibliography note | Bibliography: p. [139]-140. |
| Other title | ANNA. |
| Other title | ANNA reference manual. |
| LCCN | 87013030 |
| ISBN | 0387179801 (U.S. : pbk.) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA76.73.A54 A56 1987 | ✔ Available | Place Hold |