Quantitative Evaluation of Systems: 19th International Conference QEST 2022 Warsaw Poland September 12–16 2022 Proceedings

$15.99

Quantitative Evaluation of Systems: 19th International Conference QEST 2022 Warsaw Poland September 12–16 2022 Proceedings
Authors: Erika Ábrahám
Year: 2022
Publisher: Springer
Language: English
ISBN 13: 9783031163357
ISBN 10: 3031163354
Categories: Computers, Computer Science
Pages: 320 / 319
Edition: 1

Availability: 5000 in stock

SKU: 9783031163357 Categories: ,

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings Erika Ábrahám, Marco Paolieri, (eds)
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 202The 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. Categories:
Computers – Computer Science
Year:
2022
Edition:
1
Publisher:
Springer
Language:
english
Pages:
416 / 406
ISBN 10:
3031163354
ISBN 13:
9783031163357
Series:
Lecture Notes in Computer Science, 13479
File:
177 MB

Reviews

There are no reviews yet.

Only logged in customers who have purchased this product may leave a review.

Shopping Cart
Quantitative Evaluation of Systems: 19th International Conference QEST 2022 Warsaw Poland September 12–16 2022 Proceedings
$15.99

Availability: 5000 in stock