---

Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler
(Lecture notes in computer science ; 125)

データ種別	図書
出版者	Berlin : Springer-Verlag
出版年	1981
形態	245 p. : ill. ; 25 cm
著者標目	Engeler, Erwin, 1930- Eidgenössische Technische Hochschule Zürich
件　名	LCSH:Computer programs -- Addresses, essays, lectures  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Addresses, essays, lectures  全ての件名で検索
分　類	NDC:549.92 DDC:001.64/25 LCC:QA76.6
書誌ID	LT00169170

 類似資料