検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Formal methods for interactive systems / Alan John Dix T2 Computers and people series A1 Dix, Alan John YR 1991 FD c1991 SP 369 p. PB Tokyo : Academic Press PP London SN 0122183150 LA English (英語) CL DC20:004.2 NO Includes bibliographies and index NO 書誌ID=B000075644; NCID=BA13470962; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000075644 OL 30