検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.) T2 Lecture notes in computer science A1 SPIN A1 Federated Logic Conference A1 SPIN A1 World Congress on Formal Methods in the Development of Computing Systems A1 Dams, Dennis YR 1999 FD c1999 SP x, 276 p. K1 Computer software -- Verification -- Congresses K1 SPIN (Computer file) -- Congresses K1 SPIN (...Computer file...) K1 Automatic theorem proving K1 Verification (Logic) PB Springer PP Berlin ; Tokyo SN 3540664998 LA English (英語) CL LCC:QA76.76.V47 CL DC21:005.14 NO Includes bibliographical references and index NO "The 5th International SPIN Workshop on Theoretical Aspects of Model Checking (5th SPIN'99) was held on July 5, 1999 as a satellite workshop of FLoC'99, while the 6th International SPIN Workshop on Practical Aspects of Model Checking (6th SPIN'99) was held as a user group meeting within FM'99 on September 21 and 24, 1999" - Preface, p. [v] NO 書誌ID=1001084244; NCID=BA43719764; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001084244 OL 30