SALE ON NOW! PROMOTIONS

Close Notification

Your cart does not contain any items

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings by Kamel Barkaoui at Abbey's Bookshop,
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS...
— —
Kamel Barkaoui Hanifa Boucheneb

Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings...

Kamel Barkaoui,  Hanifa Boucheneb,  Ali Mili ,  Sofiene Tahar

$107.95   $86.53

Paperback

Not in-store but you can order this
How long will it take?
English
Springer International Publishing AG
15 August 2017
Software testing & verification
Series: Lecture Notes in Computer Science
​This book constitutes the proceedings of the 11th International

Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.

The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and

selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.
Edited by:   , , ,
Imprint:   Springer International Publishing AG
Country of Publication:   Switzerland
Edition:   1st ed. 2017
Volume:   10466
Dimensions:   Height: 235mm,  Width: 155mm, 
Weight:   454g
ISBN:   9783319661759
ISBN 10:   3319661752
Series:   Lecture Notes in Computer Science
Pages:   205
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

See Also

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Debugging Systems-on-Chip

Communication-centric and Abstraction-based...

Bart Vermeulen

Paperback

$260.95  $208.95

Not in-store but you can order this

ADD +
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Learning Azure DevOps

Myra Kelnor

Paperback

$109.95  $87.99

Not in-store but you can order this

ADD +
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Code Clone Analysis

Research, Tools, and Practices

Katsuro Inoue

Hardback

$316.95  $253.52

Not in-store but you can order this

ADD +
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Memory Dump Analysis Anthology

Dmitry Vostokov

Paperback

$94.95  $80.78

Not in-store but you can order this

ADD +
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Automated Validation & Verification...

Nils Przigoda

Hardback

$370.95  $296.98

Not in-store but you can order this

ADD +
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

CMMI and Scrum

Measurable Improvement for Agile...

Frank L Jordan

Paperback

$77.95  $66.63

Not in-store but you can order this

ADD +