Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings / Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (editors).
2018
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 : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings / Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (editors).
Meeting Name
ISBN
9783030003593 (electronic book)
3030003590 (electronic book)
9783030003586
3030003590 (electronic book)
9783030003586
Published
Cham, Switzerland : Springer, 2018.
Language
English
Description
1 online resource (xiv, 219 pages) : illustrations.
Item Number
10.1007/978-3-030-00359-3 doi
Call Number
TK5105.5
Dewey Decimal Classification
004/.36
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 26, 2018).
Added Author
Series
Lecture notes in computer science ; 11181.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in