Artículos relacionados a Verification and Evaluation of Computer and Communication...

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings - Tapa blanda

 
9783319661773: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Tapa blanda
ISBN 10: 3319661779 ISBN 13: 9783319661773
Editorial: Springer, 2017

Esta edición ISBN ya no está disponible.

Sinopsis

Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation.- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation.- Control methods.- Modeling methodologies.- Model development and analysis.- Modeling and simulation.- Formal mehods.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2017
Idioma
Inglés
ISBN 10 
3319661779
ISBN 13 
9783319661773
Encuadernación
Paperback
Número de páginas
224
Editor
Barkaoui Kamel, Boucheneb Hanifa, Mili Ali
Contacto del fabricante
no disponible
Persona responsable
no disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783319661759: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, ... Computer Science and General Issues)

Edición Destacada

ISBN 10:  3319661752 ISBN 13:  9783319661759
Editorial: Springer, 2017
Tapa blanda