Integrated Formal Methods / Lecture Notes in Computer Science Bd.13274 (PDF)
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...
The 14 full papers and 2 short papers were carefully reviewed and selected...
sofort als Download lieferbar
eBook (pdf)
Fr. 88.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Integrated Formal Methods / Lecture Notes in Computer Science Bd.13274 (PDF)“
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, 373 Seiten, Englisch
- Herausgegeben: Maurice H. ter Beek, Rosemary Monahan
- Verlag: Springer International Publishing
- ISBN-10: 303107727X
- ISBN-13: 9783031077272
- Erscheinungsdatum: 01.06.2022
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 14 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Integrated Formal Methods / Lecture Notes in Computer Science Bd.13274"
0 Gebrauchte Artikel zu „Integrated Formal Methods / Lecture Notes in Computer Science Bd.13274“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Integrated Formal Methods / Lecture Notes in Computer Science Bd.13274".
Kommentar verfassen