EAN: 9783319336923

Bilder-Quelle: discount24.de - Sport-Freizeit

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods IFM 2016 held in Reykjavik Iceland in June 2016.The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions program verification probabilistic systems concurrency safetyand liveness model learning SAT and SMT solving testing theorem proving andconstraint satisfaction case studies.

Produktinformationen zuletzt aktualisiert am
11.04.2025 um 14:18 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: