Towards a formal description of Ada

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Bjørner, Dines (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 1980
Schriftenreihe:	Lecture notes in computer science 98
Schlagworte:	ADA > Ada (Langage de programmation) > Ada (langage de programmation) > CHILL > Langages de programmtion - Sémantique > Ada (Computer program language) > Programming languages (Electronic computers) > Semantics > Ada
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XII, 630 S.
ISBN:	3540102833 3-540-10283-3 0387102833 0-387-10283-3