---

Formal program development : IFIP TC 2/WG 2.1 state of the art report / Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
(Lecture notes in computer science ; 755)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1993
形態	371 p. : ill. ; 24 cm
著者標目	Möller, Bernhard, 1953- Partsch, Helmut A., 1950- Schuman, Steve, 1950- IFIP TC 2/WG 2.1
件　名	LCSH:Computer software -- Development  全ての件名で検索 LCSH:Electronic digital computers -- Programming  全ての件名で検索
分　類	NDC:549.92 DDC:005.1 LCC:QA76.76.D47
書誌ID	LT00450734

 類似資料