Towards a formal description of Ada

Bibliographic Information

Towards a formal description of Ada

edited by D. Bjørner and O.N. Oest

(Lecture notes in computer science, 98)

Springer-Verlag, 1980

  • : gw
  • : us

Available at  / 58 libraries

Search this Book/Journal

Note

"References and bibliography": p. 626-630

Related Books: 1-1 of 1

Details

Page Top