Compartir
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023, (en Inglés)
Ben Hedia, Belgacem ; Maleh, Yassine ; Krichen, Moez (Autor)
·
Springer
· Tapa Blanda
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023, (en Inglés) - Ben Hedia, Belgacem ; Maleh, Yassine ; Krichen, Moez
$ 71.15
$ 142.31
Ahorras: $ 71.15
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Viernes 19 de Julio y el
Martes 30 de Julio.
Lo recibirás en cualquier lugar de Ecuador entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023, (en Inglés)"
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.