Software fault prevention, verification, and validation : first international symposium, SFPVV 2024 : Hiroshima, Japan, December 2-3, 2024 : proceedings

• 資料種別: 図書
• ISBN: 9789819616206 paperback; 9819616204
• ISSN（シリーズ）: 0302-9743
• タイトル: Software fault prevention, verification, and validation : first international symposium, SFPVV 2024 : Hiroshima, Japan, December 2-3, 2024 : proceedings
• シリーズタイトル: Lecture notes in computer science ; 15393
• 著者標目: creator ： Software Fault Prevention, Verification, and Validation (Symposium) (1st : 2024 : Hiroshima-shi, Japan); Liu, Shaoying, 1960-
• 出版事項: Singapore : Springer (出版)
• 出版年月日等: [2025]
• 出版年（W3CDTF）: 2025
• 数量: xvi, 294 pages
• 形態の詳細: illustrations (black and white, and colour)
• 大きさ: 24 cm
• 並列タイトル等: Software fault prevention, verification, and validation : 1st international symposium, SFPVV 2024 : Hiroshima, Japan, December 2-3, 2024 : proceedings
• その他のタイトル: Dec 2024, Hiroshima, Japan
• 出版地（国名コード）: SG
• 本文の言語コード: eng
• 表現種別: txt : text; still image
• 機器種別: n : unmediated
• キャリア種別: nc : volume
• 件名標目: Computer software--Development--Congresses; Computer software--Reliability--Congresses; Logiciels--Fiabilité--Congrès
• DDC: 005.1
• NDLC: M17
• 対象利用者: 一般
• 一般注記: Abstracts and papers
• 書誌注記: Includes bibliographical references and author index
• 所蔵機関: 国立国会図書館
• 請求記号: M17-25-79
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 033976090; http://id.ndl.go.jp/bib/033976090
• OCLC番号: 1518927518; https://www.worldcat.org/oclc/1518927518
• 目録規則: RDA
• 整理区分コード: 215