Name: Formal Modeling and Analysis of Timed Systems: 15th International Conference, Formats 2017, Berlin, Germany, September 5-7, 2017, Proceedings (en Inglés)
Price: 71.10 USD
Availability: InStock
Author: Abate, Alessandro ; Geeraerts, Gilles
ISBN: 9783319657646

portada Formal Modeling and Analysis of Timed Systems: 15th International Conference, Formats 2017, Berlin, Germany, September 5-7, 2017, Proceedings (en Inglés)

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 (en Inglés)

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

Libro Nuevo

$ 71.10

$ 142.21

Ahorras: $ 71.10

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Martes 16 de Julio y el Jueves 25 de Julio.

Lo recibirás en cualquier lugar de Ecuador entre 1 y 3 días hábiles luego del envío.

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

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.