ANNA, a language for annotating Ada programs
Subtitle: reference manual
By: David C. Luckham ... [et al.].
Contributors: Luckham, David C.
Series: Lecture notes in computer science ;; 260
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin; New York
Language: eng
Number of pages: 143
Subjects: ANNA (Computer program language); Ada (Computer program language)
Other titles: ANNA.; ANNA reference manual.
Notes: Bibliography: p. [139]-140.
Spine title: ANNA reference manual.
Includes index.