Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / Pierre Ganty, Mohamed Kaâniche (eds.)
2020
TK5105.5
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / Pierre Ganty, Mohamed Kaâniche (eds.)
Meeting Name
ISBN
9783030350925 (electronic book)
3030350924 (electronic book)
9783030350918
3030350924 (electronic book)
9783030350918
Publication Details
Cham : Springer, 2020.
Language
English
Description
1 online resource (122 pages).
Call Number
TK5105.5
Dewey Decimal Classification
004/.36
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Series
Lecture notes in computer science ; 11847.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Linked Resources
Record Appears in