Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bernd Finkbeiner, Leonardo Mariani (eds.).
2019
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 : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bernd Finkbeiner, Leonardo Mariani (eds.).
Meeting Name
RV (Conference) (19th : 2019 : Porto, Portugal)
ISBN
9783030320799 (electronic book)
3030320790 (electronic book)
9783030320782
3030320790 (electronic book)
9783030320782
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (x, 413 pages) : illustrations
Item Number
10.1007/978-3-030-32079-9 doi
10.1007/978-3-030-32
10.1007/978-3-030-32
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 October 9, 2019).
Added Author
Finkbeiner, Bernd, editor.
Mariani, Leonardo, editor.
Mariani, Leonardo, editor.
Series
Formal methods
Lecture notes in computer science ; 11757.
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; 11757.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources