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

Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Tapa blanda

 
9783319657660: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Tapa blanda
ISBN 10: 3319657666 ISBN 13: 9783319657660
Editorial: Springer, 2017

Esta edición ISBN ya no está disponible.

Sinopsis

Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.

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

Editorial
Springer
Año de publicación
2017
Idioma
Inglés
ISBN 10 
3319657666
ISBN 13 
9783319657660
Encuadernación
Paperback
Contacto del fabricante
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

9783319657646: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings: 10419 (Theoretical Computer Science and General Issues)

Edición Destacada

ISBN 10:  331965764X ISBN 13:  9783319657646
Editorial: Springer, 2017
Tapa blanda