このページのリンク

Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
(Lecture notes in computer science. ; 98)

データ種別 図書
出版者 Berlin : Springer-Verlag
出版者 New York
出版年 1980.
本文言語 英語
大きさ xii, 630 p. ; 25 cm.
目次/あらすじ

所蔵情報を非表示

V.98 ASRS 007.6/L507/V.98 02565851
0387102833

書誌詳細を非表示

一般注記 "References and bibliography": p. 626-630.
著者標目 Bjørner, D.(1937-)
Oest, O. N.
件 名 Ada (Computer program language)
Programming languages (Electronic computers)--Semantics
分 類 NDC:007.6
書誌ID 1000023267
ISBN 0387102833
URL1 Publisher HP

 類似資料