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
$ 52.09
$ 54.99
Ahorras: $ 2.90
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 ListasSe enviará desde nuestra bodega entre el
Viernes 05 de Julio y el
Lunes 08 de Julio.
Lo recibirás en cualquier lugar de Estados Unidos 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.