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
Online Access
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
VECoS (Conference) (12th : 2018 : Grenoble, France)
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
Atig, Mohamed Faouzi, editor.
Bensalem, Saddek, editor.
Bliudze, Simon, editor.
Monsuez, Bruno, editor.
Bensalem, Saddek, editor.
Bliudze, Simon, editor.
Monsuez, Bruno, editor.
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
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources