検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.) T2 Lecture notes in computer science A1 SPIN A1 Havelund, Klaus, 1955- A1 Penix, John, 1970- A1 Visser, Willem, 1968- YR 2000 FD c2000 SP x, 342 p. K1 Computer software -- Verification -- Congresses K1 SPIN (Computer file) -- Congresses PB Springer PP Berlin SN 3540410309 LA English (英語) CL LCC:QA76.76.V47 NO Includes bibliographical references and index NO 書誌ID=1001192683; NCID=BA48031889; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001192683 OL 30