Delta State University

Cover image for Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
Title:
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
Publication:
Berlin ; New York : Springer-Verlag, 1980.
Publication Date:
1980
ISBN:
9780387102832
Series Search:
Lecture notes in computer science
Bibliography Note:
"References and bibliography": pages 626-630.
Content Type:
text
Carrier Type:
volume
MSU Volume:
98
Added Author:
Bjørner, D. (Dines), 1937-

Oest, O. N.
Language:
English
Subject:
Ada (Computer program language)

Programming languages (Electronic computers) -- Semantics.
No. of Holds:

Instructional Resources Center     |      University Archives and Museum      |      Roberts-LaForge Library