Integrated Formal Methods
17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.
The 14 full papers and 2 short papers were carefully reviewed and selected from...
The 14 full papers and 2 short papers were carefully reviewed and selected from...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
82.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Integrated Formal Methods “
Klappentext zu „Integrated Formal Methods “
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.
Bibliographische Angaben
- 2022, 1st ed. 2022, XV, 373 Seiten, 48 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Maurice H. ter Beek, Rosemary Monahan
- Verlag: Springer, Berlin
- ISBN-10: 3031077261
- ISBN-13: 9783031077265
Sprache:
Englisch
Kommentar zu "Integrated Formal Methods"
Schreiben Sie einen Kommentar zu "Integrated Formal Methods".
Kommentar verfassen