検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts T2 Lecture notes in computer science A1 Geurts, Frédéric YR 1998 FD c1998 SP xiv, 280 p. K1 Abstract data types K1 System analysis K1 Electronic data processing -- Structured techniques PB Springer PP Berlin SN 3540655069 LA English (英語) NO Includes bibliographical references (p. [257]-272) and index NO 書誌ID=1001038188; NCID=BA39298855; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001038188 OL 30