Libro Formal Modeling and Analysis of Timed Systems: 15th International Conference, Formats 2017, Berlin, De Abate, Alessandro ; Geeraerts, Gilles

Envío gratis

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

Formato

Libro Físico

Editorial

Springer

Autor

Abate, Alessandro ; Geeraerts, Gilles

Idioma

Inglés

N° páginas

353

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.9 cm

Peso

0.51 kg.

ISBN13

9783319657646

Categorías

Lenguajes de programación scripting
Teoría matemática de la computación
Machine learning: aprendizaje automático

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

Abate, Alessandro ; Geeraerts, Gilles (Autor) · Springer · Tapa Blanda

Sin Stock

Reseña del libro "Formal Modeling and Analysis of Timed Systems: 15th International Conference, Formats 2017, Berlin, Germany, September 5-7, 2017, Proceedings"

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Formal Modeling and Analysis of Timed Systems: 15th International Conference, Formats 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Abate, Alessandro ; Geeraerts, Gilles

Reseña del libro "Formal Modeling and Analysis of Timed Systems: 15th International Conference, Formats 2017, Berlin, Germany, September 5-7, 2017, Proceedings"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre