The Vienna development method : the meta-language

＜図書＞
The Vienna development method : the meta-language

責任表示	edited by D. Bjørner and C.B. Jones
シリーズ	Lecture notes in computer science ; 61
データ種別	図書
出版情報	Berlin ; New York : Springer-Verlag , 1978
本文言語	英語
大きさ	xv, 382 p. ; 25 cm
電子版へのリンク	https://hdl.handle.net/2324/6797576

巻次	所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
: gw	理系図3F 数理独自	SER/LNCS/61	1978	068222480110733	予約・取寄		予約・取寄
: gw	理系図自動書庫	408/L 49	1978	061232004004886	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	芸工図 2F 工学図書室	549.92/L49/61	1978	072032178006070	予約・取寄		予約・取寄

別書名	異なりアクセスタイトル:Meta-language
一般注記	Bibliography: p. [375]-382
著者標目	Bjørner, D. (Dines), 1937- Jones, Cliff B., 1944-
件　名	LCSH:ML (Computer program language)
分　類	LCC:QA76.7 DC:001.6/424
書誌ID	1000029368
ISBN	3540087664
NCID	BA03623590
巻冊次	: gw ; ISBN:3540087664 : us ; ISBN:0387087664
登録日	2009.09.10
更新日	2017.02.18