Towards a formal description of Ada /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bjørner, D. (Dines), 1937-, Oest, O. N.
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1980.
Series:	Lecture notes in computer science ; 98.
Subjects:	Ada (Computer program language) Programming languages (Electronic computers) > Semantics. CHILL. ADA. Ada (Langage de programmation) Ada (langage de programmation) Langages de programmtion > Sémantique. Ada. Electronic books.
Online Access:	Connect to the full text of this electronic book