---

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki
(Lecture notes in computer science ; 148)

データ種別	図書
出版者	Berlin : Springer-Verlag
出版年	1983
形態	vi, 324 p. : ill. ; 25 cm
著者標目	Symposium on Logics of Programs and Their Applications (1980 : Poznán) Salwicki, Andrzej
件　名	LCSH:Electronic digital computers -- Programming -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:001.64/2 LCC:QA76.6
書誌ID	LT00169174

 類似資料