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
23.05.2026 um 06:21 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: