Peste 4 milioane de titluri în engleză și alte limbi! Descoperă-ți noua poveste astăzi!

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer Nature Switzerland AG
SKU: 9783030634605
Price: 276.48 RON
Availability: InStock

Autor: Brijesh Dongol

Limbă:

Legare: Carte broșată

Editura: Springer Nature Switzerland AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.48 lei

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Fo...

Informații despre carte

Autor

Brijesh Dongol

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2020

Pagini

461

EAN

9783030634605

ISBN

3030634604

Enbook ID

33397354

Editura

Springer Nature Switzerland AG

Greutate

724

Dimensiuni

155 x 235 x 26

Descriere completă

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.