Towards a formal description of Ada
By: edited by D. Bjørner and O.N. Oest.
Contributors: Bjørner, D. 1937-; Oest, O. N.
Series: Lecture notes in computer science ;; 98
Publisher: Springer-Verlag
Published: 1980
Place of publication: Berlin; New York
Language: eng
Number of pages: 630
Subjects: Ada (Computer program language); Programming languages (Electronic computers) -- Semantics.
Notes: "References and bibliography": p. 626-630.