Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Atig, Mohamed Faouzi (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bensalem, Saddek (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bliudze, Simon (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Monsuez, Bruno (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Theoretical Computer Science and General Issues ; 11181
• Θέματα: Algorithms.; Computer logic.; Mathematical logic.; Software engineering.; Computer system failures.; Computers.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; System Performance and Evaluation.; The Computing Profession.

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...