EAN: 9783319415901

Bilder-Quelle: discount24.de - Sport-Freizeit

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods SEFM 2016 held as part of STAF 2016 in Vienna Austria in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference program analysis model checking verification interaction and adaptation and development methods.

Produktinformationen zuletzt aktualisiert am
21.12.2025 um 19:27 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: