Runtime verification : 5th international conference, RV 2014 : Toronto, ON, Canada, September 22-25, 2014 : proceedings : Sep 2014, Toronto, Canada. (Lecture Notes in Computer Science ; 8734)

Runtime verification : 5th international conference, RV 2014 : Toronto, ON, Canada, September 22-25, 2014 : proceedings : Sep 2014, Toronto, Canada.

(Lecture Notes in Computer Science ; 8734)

Call No. (NDL): M17-15-738
Bibliographic ID of National Diet Library: 026183423

Material type: 図書

Author: RV 2014 (2014 : Toronto, Ontario)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xvii, 358 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers.Described as "The 14th International Conference on Runtime Verification (RV 2014) ... RV started in 2001 as an annual workshop an...

Other physical details：: illustrations

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783319111636
3319111639
ISBN (error code): 9783319111643 (electronic bk.)
3319111647 (electronic bk.)
ISSN (series): 0302-9743
Title: Runtime verification : 5th international conference, RV 2014 : Toronto, ON, Canada, September 22-25, 2014 : proceedings : Sep 2014, Toronto, Canada.
Series Title: Lecture Notes in Computer Science ; 8734
Title Heading: Lecture notes in computer science ; 8734.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: RV 2014 (2014 : Toronto, Ontario)
Bonakdarpour, Borzoo.
Smolka, Scott A.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date (W3CDTF): 2014
Extent: xvii, 358 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
Computer software--Testing--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
Described as "The 14th International Conference on Runtime Verification (RV 2014) ... 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-15-738
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026183423
http://id.ndl.go.jp/bib/026183423
OCLC No.: 899335350
https://www.worldcat.org/oclc/899335350
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215