Name: Verification and Evaluation of Computer and Communication Systems (en Inglés)
SKU: 63504673
Price: 46.94 USD
Availability: InStock
Author: Ali Mili;Hanifa Boucheneb;Kamel Barkaoui

portada Verification and Evaluation of Computer and Communication Systems (en Inglés)

Verification and Evaluation of Computer and Communication Systems (en Inglés)

Formato

Libro Físico

Editorial

Springer Nature B.V.

Autor

Ali Mili;Hanifa Boucheneb;Kamel Barkaoui

Año

2017

Idioma

Inglés

N° páginas

224

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6 cm

ISBN13

9783319661773

Verification and Evaluation of Computer and Communication Systems (en Inglés)

Ali Mili;Hanifa Boucheneb;Kamel Barkaoui (Autor) · Springer Nature B.V. · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 23 días háb.

$ 104.32$ 46.94

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 46.94

Llega entre el 18 Sep y el 30 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Verification and Evaluation of Computer and Communication Systems (en Inglés)"

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation 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 veriﬁcation, 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 in
terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veriﬁcation and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.