Theory of program structures : schemes, semantics, verification

＜図書＞
Theory of program structures : schemes, semantics, verification

責任表示	Sheila A. Greibach
シリーズ	Lecture notes in computer science ; 36
データ種別	図書
出版情報	Berlin ; New York : Springer-Verlag , 1975
本文言語	英語
大きさ	389 p. in various pagings : ill. ; 25 cm
電子版へのリンク	https://hdl.handle.net/2324/6797602

巻次	所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
	理系図自動書庫	007/L 49	1975	026232003070524	予約・取寄	出庫可能	予約・取寄	出庫可能
	理系図自動書庫	007/L 49	1975	026232003070536	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	理系図3F 数理独自	SER/LNCS/36	1975	068222480114530	予約・取寄		予約・取寄
: gw	理系図自動書庫	408/L 49	1975	061232004004633	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	芸工図 2F 工学図書室	549.92/L49/36	1975	072032176000594	予約・取寄		予約・取寄

一般注記	Includes bibliography and index
著者標目	*Greibach, Sheila, 1939-
件　名	LCSH:Electronic digital computers -- Programming 全ての件名で検索 LCSH:Recursive programming LCSH:Computer programs
分　類	LCC:QA76.6 DC:001.6/42
書誌ID	1000907942
ISBN	3540074155
NCID	BA03601645
巻冊次	: gw ; ISBN:3540074155 : us ; ISBN:0387074155
登録日	2009.09.16
更新日	2017.02.18