Towards a formal description of Ada /

Збережено в:
Бібліографічні деталі
Інші автори: Bjørner, D. (Dines), 1937-, Oest, O. N.
Формат: Книга
Мова:English
Опубліковано: Berlin ; New York : Springer-Verlag, 1980.
Серія:Lecture notes in computer science ; 98.
Предмети:
Опис
Фізичний опис:xii, 630 p. ; 25 cm.
Бібліографія:"References and bibliography": p. 626-630.
ISBN:3540102833
0387102833