Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez.

This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, we...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Atig, Mohamed Faouzi (Editor), Bensalem, Saddek (Editor), Bliudze, Simon (Editor), Monsuez, Bruno (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:	1st ed. 2018.
Series:	Theoretical Computer Science and General Issues ; 11181 Springer eBook Collection.
Subjects:	Algorithms. Computer logic. Mathematical logic. Software engineering. Computer system failures. Computers. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.