Produktbild
Elena (Hrsg.) Troubitsyna

Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.