Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings (Lecture Notes in Computer Science, 13479)

Springer
SKU:
9783031163357
|
UPC:
9783031163357
$87.33
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
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.


  • | Author: Erika Ábrahám, Marco Paolieri
  • | Publisher: Springer
  • | Publication Date: Sep 11, 2022
  • | Number of Pages: 416 pages
  • | Language: English
  • | Binding: Paperback/Computers
  • | ISBN-10: 3031163354
  • | ISBN-13: 9783031163357
Author:
Erika Ábrahám, Marco Paolieri
Publisher:
Springer
Publication Date:
Sep 11, 2022
Number of pages:
416 pages
Language:
English
Binding:
Paperback/Computers
ISBN-10:
3031163354
ISBN-13:
9783031163357