Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings.

• 資料種別: 図書
• ISBN: 9783319238197
• ISSN（シリーズ）: 0302-9743
• タイトル: Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings.
• シリーズタイトル: Lecture Notes in Computer Science ; 9333
• タイトル標目: Lecture notes in computer science ; 9333. 0302-9743; LNCS sublibrary. SL 2, Programming and software engineering.
• 著者標目: RV (Conference) (6th : 2015 : Vienna, Austria); Bartocci, Ezio (Computer scientist); Majumdar, Rupak.
• 出版事項: Cham : Springer (出版)
• 出版年月日等: [2015]
• 出版年（W3CDTF）: 2015
• 数量: xix, 432 pages
• 形態の詳細: illustrations
• 大きさ: 24 cm.
• その他のタイトル: Sep 2015, Vienna, Austria.
• 出版地（国名コード）: CH
• 本文の言語コード: eng
• ジャンル・形式用語: Conference papers and proceedings.
• 表現種別: text
• 機器種別: unmediated
• キャリア種別: volume
• 件名標目: Computer software--Verification--Congresses.; Formal methods (Computer science)--Congresses.; Computer software--Testing--Congresses.; Computer software--Testing.; Computer software--Verification.; Formal methods (Computer science)
• LCC: QA76.76.V47
• DDC: 005.1/4
• NDLC: M17
• 対象利用者: 一般
• 一般注記: Papers and abstracts.; Described as "... the 15th International Conference on Runtime Verification (RV 2015), ... The RV series is an annual meeting ... RV started in 2001 as an annual workshop and turned into a conference in 2010."--Preface.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-16-759
• 関連情報（DOI）: 10.1007/978-3-319-23820-3
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 026702640; http://id.ndl.go.jp/bib/026702640
• 目録規則: RDA
• 整理区分コード: 215

• 要約等: This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in Septem...