Name: Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings (en Inglés)
Price: 77.31 EUR
Availability: InStock
Author: Lluch Lafuente, Alberto ; Mavridou, Anastasia
ISBN: 9783030852474

portada Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Lluch Lafuente, Alberto ; Mavridou, Anastasia

Idioma

Inglés

N° páginas

249

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.4 cm

Peso

0.37 kg.

ISBN13

9783030852474

Categorías

Lenguajes de programación scripting
Redes y comunicaciones informáticas
Ciencias de la computación

Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings (en Inglés)

Lluch Lafuente, Alberto ; Mavridou, Anastasia (Autor) · Springer · Tapa Blanda

Libro Nuevo

77,31 €

81,38 €

Ahorras: 4,07 €

5% descuento

Envío normal

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

Se enviará desde nuestra bodega entre el Viernes 02 de Agosto y el Miércoles 21 de Agosto.

Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings (en Inglés)"

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.

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 Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings (en Inglés) - Lluch Lafuente, Alberto ; Mavridou, Anastasia

Reseña del libro "Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings (en Inglés)"

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