Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Quantitative Evaluation of Systems
- 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
Engelsk Paperback
Quantitative Evaluation of Systems
- 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
Engelsk Paperback

478 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.

The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.

Product detaljer
Sprog:
Engelsk
Sider:
399
ISBN-13:
9783031163357
Indbinding:
Paperback
Udgave:
ISBN-10:
3031163354
Udg. Dato:
11 sep 2022
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
11 sep 2022
Forfatter(e):
Andre har også købt
Kategori sammenhænge