Artículos relacionados a Formal Modeling and Analysis of Timed Systems: 14th...

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Tapa blanda

 
9783319448794: Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Tapa blanda
ISBN 10: 331944879X ISBN 13: 9783319448794
Editorial: Springer, 2016

Esta edición ISBN ya no está disponible.

Sinopsis

Modeling Timed Phenomena.- Stochasticity and Hybrid Control.- Real-time Verification and Synthesis.- Workload Analysis.

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

Editorial
Springer
Año de publicación
2016
Idioma
Inglés
ISBN 10 
331944879X
ISBN 13 
9783319448794
Encuadernación
Paperback
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

9783319448770: Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings: 9884 (Theoretical Computer Science and General Issues)

Edición Destacada

ISBN 10:  3319448773 ISBN 13:  9783319448770
Editorial: Springer, 2016
Tapa blanda