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