検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds T2 Lecture notes in computer science A1 REX Workshop A1 Bakker, Jacobus Willem de, 1939- A1 Roever, W.-P. de, 1943- A1 Rozenberg, Grzegorz YR 1990 FD c1990 VO : gw VO : us SP x, 808 p. K1 Electronic data processing -- Distributed processing -- Congresses PB Springer-Verlag PP Berlin ; Tokyo SN 3540525599 SN 0387525599 LA English (英語) CL LCC:QA76.9.D5 CL DC20:004/.36 NO 書誌ID=1000371778; NCID=BA10176266; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000371778 OL 30