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

• Material Type: 図書
• ISBN: 9783319238197
• ISSN (series): 0302-9743
• Title: Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings : Sep 2015, Vienna, Austria.
• Series Title: Lecture Notes in Computer Science ; 9333
• Title Heading: Lecture notes in computer science ; 9333. 0302-9743; LNCS sublibrary. SL 2, Programming and software engineering.
• Author Heading: RV (Conference) (6th : 2015 : Vienna, Austria); Bartocci, Ezio (Computer scientist); Majumdar, Rupak.
• Publication, Distribution, etc.: Cham : Springer (出版)
• Publication Date: [2015]
• Publication Date (W3CDTF): 2015
• Extent: xix, 432 pages
• Other physical details: illustrations
• Size: 24 cm.
• Place of Publication (Country Code): CH
• Text Language Code: eng
• Genre/Form Terms: Conference papers and proceedings.
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: 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
• Target Audience: 一般
• Note (General): 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.
• Note (Bibliography): Includes bibliographical references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-16-759
• Related Material (DOI): 10.1007/978-3-319-23820-3
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 026702640; http://id.ndl.go.jp/bib/026702640
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215

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