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

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xii, 630 pages)
Bibliography:	"References and bibliography": pages 626-630.
ISBN:	0387102833 (U.S. : pbk.) 9780387102832 (U.S. : pbk.) 3540102833 9783540102830