Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer Nature Switzerland AG
SKU: 33397354
Price: 51.09 EUR
Availability: InStock
Author: Brijesh Dongol
ISBN: 9783030634605

Brijesh Dongol

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 33397354

Editores Springer Nature Switzerland AG, noviembre 2020

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Fo... Descripción completa

Código Libristo: 33397354

125 b

51.09 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Bewegtes Lernen! Mathe Heike Beckmann

Hoja

23.99 €

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.