Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
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.
CHF 107.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Dongol, Brijesh (Hrsg.)
- ISBN: 978-3-030-63460-5
- EAN: 9783030634605
- Produktnummer: 35200288
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 476 S.
- Masse: H23.5 cm x B15.5 cm x D2.5 cm 715 g
- Auflage: 1st ed. 2020
- Abbildungen: Paperback
- Gewicht: 715
12 weitere Werke von Elena (Hrsg.) Troubitsyna:
Bewertungen
Anmelden