2. Adventsüberraschung: 10% Rabatt auf alle Spiele! Jetzt mehr erfahren.
Willkommen, schön sind Sie da!
Logo Ex Libris

Integrated Formal Methods

  • Kartonierter Einband
  • 476 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held i... Weiterlesen
CHF 107.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.- Algebraic Techniques.

Produktinformationen

Titel: Integrated Formal Methods
Untertitel: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Editor:
EAN: 9783030634605
ISBN: 3030634604
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Anzahl Seiten: 476
Gewicht: 715g
Größe: H235mm x B155mm x T25mm
Jahr: 2020
Untertitel: Englisch
Auflage: 1st ed. 2020

Weitere Produkte aus der Reihe "Programming and Software Engineering"