Runtime verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / Borzoo Bonakdarpour, Scott A. Smolka (eds.).
2014
QA76.76.V47
Linked e-resources
Linked Resource
Online Access
Details
Title
Runtime verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / Borzoo Bonakdarpour, Scott A. Smolka (eds.).
Meeting Name
RV (Conference) (5th : 2014 : Toronto, Ontario)
ISBN
9783319111643 electronic book
3319111647 electronic book
9783319111636
3319111647 electronic book
9783319111636
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (xviii, 358 pages) : illustrations.
Item Number
10.1007/978-3-319-11164-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
Description based on online resource; title from PDF title page (SpringerLink, viewed September 24, 2014).
Series
Lecture notes in computer science ; 8734.
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