Hero image 0 of Verification and Evaluation of Computer and Communication Systems: 11th International Conference, Vecos 2017, Montreal, , (Paperback), 0 of 1
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, Vecos 2017, Montreal, , (Paperback)
(No ratings yet)
Key item features
- Verification and Evaluation of Computer and Communication Systems: 11th International Conference, Vecos 2017, Montreal, , (Paperback)
- Author: Springer
- ISBN: 9783319661759
- Format: Paperback
- Publication Date: 2017-08-15
- Page Count: 205
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date2017-08-15
- Pages205
- SubgenreComputer Science
Current price is USD$62.22
Price when purchased online
- Free shipping
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives by Thu, Apr 23
|
Sold and shipped by thebookpros
4.453603277898289 stars out of 5, based on 4149 seller reviews(4.5)4149 seller reviews
Free 30-day returns
More seller options (1)
Starting from $60.29
About this item
Product details
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.
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.
- Verification and Evaluation of Computer and Communication Systems: 11th International Conference, Vecos 2017, Montreal, , (Paperback)
- Author: Springer
- ISBN: 9783319661759
- Format: Paperback
- Publication Date: 2017-08-15
- Page Count: 205
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
2017-08-15
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part , Book 1384, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part , Book 1384, (Paperback)
Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-, Book 2937, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-, Book 2937, (Paperback)
Communications in Computer and Informati Advanced Communication Systems and Information Security: Second International Conference, Acosis 2019, Marrakesh, Morocc, Book 1264, (Paperback) $60.29
$6029current price $60.29Communications in Computer and Informati Advanced Communication Systems and Information Security: Second International Conference, Acosis 2019, Marrakesh, Morocc, Book 1264, (Paperback)
Communications in Computer and Informati Mathematics and Computing: 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selecte, Book 834, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Mathematics and Computing: 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selecte, Book 834, (Paperback)
Computational Science and Its Applications -- Iccsa 2015: 15th International Conference, Banff, Ab, Canada, June 22-25, , (Paperback) $60.29
$6029current price $60.29Computational Science and Its Applications -- Iccsa 2015: 15th International Conference, Banff, Ab, Canada, June 22-25, , (Paperback)
Lecture Notes in Computer Science Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novos, Book 2890, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novos, Book 2890, (Paperback)
IFIP Advances in Information and Communi Trust Management XII: 12th Ifip Wg 11.11 International Conference, Ifiptm 2018, Toronto, On, Canada, July 10-13, 2018, P, Book 528, (Paperback) $54.99
$5499current price $54.99IFIP Advances in Information and Communi Trust Management XII: 12th Ifip Wg 11.11 International Conference, Ifiptm 2018, Toronto, On, Canada, July 10-13, 2018, P, Book 528, (Paperback)
Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceed, (Paperback) $54.99
$5499current price $54.99Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceed, (Paperback)
Information Access Evaluation. Multilinguality, Multimodality, and Visualization: 4th International Conference of the Cl, (Paperback) $60.29
$6029current price $60.29Information Access Evaluation. Multilinguality, Multimodality, and Visualization: 4th International Conference of the Cl, (Paperback)
Lecture Notes in Computer Science Hci International 2023 - Late Breaking Papers: 25th International Conference on Human-Computer Interaction, Hcii 2023, C, Book 14059, (Paperback) $82.98
$8298current price $82.98Lecture Notes in Computer Science Hci International 2023 - Late Breaking Papers: 25th International Conference on Human-Computer Interaction, Hcii 2023, C, Book 14059, (Paperback)
Lecture Notes in Computer Science Testing of Communicating Systems: 15th Ifip International Conference, Testcom 2003, Sophia Antipolis, France, May 26-28,, Book 2644, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Testing of Communicating Systems: 15th Ifip International Conference, Testcom 2003, Sophia Antipolis, France, May 26-28,, Book 2644, (Paperback)
Computational Science and Its Applications -- Iccsa 2015: 15th International Conference, Banff, Ab, Canada, June 22-25, , (Paperback) $60.29
$6029current price $60.29Computational Science and Its Applications -- Iccsa 2015: 15th International Conference, Banff, Ab, Canada, June 22-25, , (Paperback)
Lecture Notes of the Institute for Compu Security and Privacy in Communication Networks: 9th International Icst Conference, Securecomm 2013, Revised Selected Pap, Book 127, (Paperback) $54.99
$5499current price $54.99Lecture Notes of the Institute for Compu Security and Privacy in Communication Networks: 9th International Icst Conference, Securecomm 2013, Revised Selected Pap, Book 127, (Paperback)
Combinatorial Optimization: 6th International Symposium, Isco 2020, Montreal, Qc, Canada, May 4-6, 2020, Revised Selecte, (Paperback) $60.29
$6029current price $60.29Combinatorial Optimization: 6th International Symposium, Isco 2020, Montreal, Qc, Canada, May 4-6, 2020, Revised Selecte, (Paperback)
CISM International Centre for Mechanical The Evaluation of Materials and Structures by Quantitative Ultrasonics, Book 330, (Paperback) $60.29
$6029current price $60.29CISM International Centre for Mechanical The Evaluation of Materials and Structures by Quantitative Ultrasonics, Book 330, (Paperback)
Lecture Notes in Computer Science Algorithms and Data Structures: 6th International Workshop, Wads'99 Vancouver, Canada, August 11-14, 1999 Proceedings, Book 1663, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Algorithms and Data Structures: 6th International Workshop, Wads'99 Vancouver, Canada, August 11-14, 1999 Proceedings, Book 1663, (Paperback)
Lecture Notes of the Institute for Compu Context-Aware Systems and Applications, and Nature of Computation and Communication: 8th Eai International Conference, I, Book 298, (Paperback) $49.82
$4982current price $49.82Lecture Notes of the Institute for Compu Context-Aware Systems and Applications, and Nature of Computation and Communication: 8th Eai International Conference, I, Book 298, (Paperback)
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part , (Paperback) $54.99
$5499current price $54.99Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part , (Paperback)
Lecture Notes in Computer Science Word Equations and Related Topics: Second International Workshop, Iwwert '91, Rouen, France, October 7-9, 1991. Proceedi, Book 677, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Word Equations and Related Topics: Second International Workshop, Iwwert '91, Rouen, France, October 7-9, 1991. Proceedi, Book 677, (Paperback)
Logical Aspects of Computational Linguistics: Third International Conference, Lacl'98 Grenoble, France, December 14-16, , (Paperback) $56.14
$5614current price $56.14Logical Aspects of Computational Linguistics: Third International Conference, Lacl'98 Grenoble, France, December 14-16, , (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
