検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Modular specification and verification of object-oriented programs / Peter Müller T2 Lecture notes in computer science A1 Müller, Peter YR 2002 FD c2002 SP xiv, 292 p. K1 Object-oriented programming (Computer science) K1 Modular programming K1 Computer software -- Development PB Springer PP Berlin SN 3540431675 LA English (英語) NO Includes bibliographies (p. [270]-283) and index NO 書誌ID=1001360033; NCID=BA55535248; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001360033 OL 30