EAN: 9783319465197

Bilder-Quelle: discount24.de - Sport-Freizeit

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis ATVA 2016 held in Chiba Japan in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote Markov models chains and decision processes counter systems automata parallelism concurrency complexity decidability synthesis refinement optimization heuristics partial-order reductions solving procedures model checking and program analysis.

Produktinformationen zuletzt aktualisiert am
06.05.2025 um 20:17 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: