Share
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023,
Ben Hedia, Belgacem ; Maleh, Yassine ; Krichen, Moez (Author)
·
Springer
· Paperback
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023, - Ben Hedia, Belgacem ; Maleh, Yassine ; Krichen, Moez
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Friday, July 26 and
Friday, August 02.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023,"
This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18-20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.