EAN: 9783319668444

Bilder-Quelle: discount24.de - Sport-Freizeit

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods IFM 2017 held in Turin Italy in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems software verification tools safety-critical systems concurrency and distributed systems program verification techniques formal modeling and verified software..

Produktinformationen zuletzt aktualisiert am
12.01.2026 um 00:10 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: