Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, revised selected papers

• 資料種別: 図書
• ISBN: 9783030955601
• タイトル: Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, revised selected papers
• 著者・編者: Roderick Bloem ... [et al.] (eds.)
• 著者標目: VSTTE; https://ci.nii.ac.jp/author/DA16419742; International Workshop on Numerical Software Verification (NSV); Bloem, Roderick P.; Dimitrova, Rayna; Fan, Chuchu; Sharygina, Natasha
• 出版事項: Springer
• 出版年月日等: c2022
• 出版年（W3CDTF）: 2022
• 大きさ: 24 cm
• 出版地（国名コード）: sz
• 本文の言語コード: en
• 件名標目: Computer software -- Verification -- Congresses
• 対象利用者: 一般
• 一般注記: Other editors: Rayna Dimitrova, Chuchu Fan, Natasha Sharygina; Includes bibliographical references and author index; "This volume contains the papers presented at the 13th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2021), held virtually during October 18–19, 2021."--VSTTE 2021 Pref; "This volume contains the contributed papers presented at the 14th International Workshop on Numerical Software Verification (NSV 2021), which was held virtually during July 18–19, 2021."-- NSV 2021 Pref
• 関連情報: Lecture notes in computer science; https://cir.nii.ac.jp/crid/1131412884029509776
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BC15986075#entity
• 掲載誌: Lecture notes in computer science; https://cir.nii.ac.jp/crid/1131412884029509776
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BC15986075 : BC15986075