Programming with specifications
Subtitle: an introduction to ANNA, a language for specifying Ada programs
By: David Luckham.
Series: Texts and monographs in computer science
Publisher: Springer-Verlag
Published: 1990
Place of publication: New York
Language: eng
Number of pages: 416
Subjects: ANNA (Computer program language); Ada (Computer program language)
Notes: Includes bibliographical references (p. [401]-410) and index.