---

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller (ed.)
(Lecture notes in computer science ; 947)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1995
形態	viii, 472 p. : ill. ; 24 cm
著者標目	*International Conference on Mathematics of Program Construction (3rd : 1995 : Kloster Irsee, Germany) Möller, Bernhard, 1953-
件　名	LCSH:Electronic digital computers -- Programming -- Congresses  全ての件名で検索 LCSH:Computer science -- Mathematics -- Congresses  全ての件名で検索
分　類	NDC:549.92 LCC:QA76.6 DC20:004.2/0151
書誌ID	LT00483568

 類似資料