---

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos
(Lecture notes in computer science ; 107)

データ種別	図書
出版者	Berlin : Springer-Verlag
出版年	1981
形態	vii, 478 p. : ill. ; 25 cm
著者標目	Díaz, Josep, 1950- Ramos, Isidro, 1943- International Colloquium on the Formalization of Programming Concepts (1981 : Peñíscola, Spain)
件　名	LCSH:Electronic digital computers -- Programming -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:001.64/2 LCC:QA76.6
書誌ID	LT00169142

 類似資料