Runtime verification [electronic resource] : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.).
2015
QA76.76.V47
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Runtime verification [electronic resource] : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.).
Meeting Name
RV (Conference) (6th : 2015 : Vienna, Austria)
ISBN
9783319238203 electronic book
3319238205 electronic book
9783319238197
3319238205 electronic book
9783319238197
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (xiv, 396 pages) : illustrations.
Item Number
10.1007/978-3-319-23820-3 doi
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1/4
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 22, 2015).
Series
Lecture notes in computer science ; 9333.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources