OPAC

Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
(Texts and monographs in computer science)

データ種別	図書
出版者	New York : Tokyo : Springer-Verlag
出版年	c1990
本文言語	英語
大きさ	x, 220 p. ; 25 cm
著者標目	*Dijkstra, Edsger Wybe, 1930- Scholten, Carel S.

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-2階-洋書	007.64\|\|D73	101166296						予約		予約

件　名	LCSH:Predicate calculus LCSH:Programming languages (Electronic computers) -- Semantics 全ての件名で検索
分　類	LCC:QA9.35 DC20:511.3
書誌ID	B000075927
ISBN	0387969578
NCID	BA07837224