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

• 資料種別: 図書
• ISBN: 3540664998
• タイトル: 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.)
• 著者標目: SPIN; https://ci.nii.ac.jp/author/DA12844906; Federated Logic Conference; World Congress on Formal Methods in the Development of Computing Systems; https://ci.nii.ac.jp/author/DA12441706; Dams, Dennis; https://ci.nii.ac.jp/author/DA12298646
• 出版事項: Springer
• 出版年月日等: c1999
• 出版年（W3CDTF）: 1999
• 大きさ: 24 cm
• 出版地（国名コード）: gw
• 本文の言語コード: en
• 件名標目: Computer software -- Verification -- Congresses; SPIN (Computer file) -- Congresses; SPIN (...Computer file...); Automatic theorem proving; Verification (Logic)
• LCC: QA76.76.V47
• 対象利用者: 一般
• 一般注記: Includes bibliographical references and index; "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]
• 関連情報: Lecture notes in computer science; https://cir.nii.ac.jp/crid/1130282272706176768
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA43719764#entity; https://lccn.loc.gov/99049725
• 掲載誌: Lecture notes in computer science; https://cir.nii.ac.jp/crid/1130282272706176768
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA43719764 : BA43719764
• LC control number: 99049725; https://lccn.loc.gov/99049725