Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Quantitative Evaluation of Systems
- 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
Engelsk
Bogcover for Quantitative Evaluation of Systems af , 9783031163357
Specifikationer
Sprog:
Engelsk
Sider:
399
ISBN-13:
9783031163357
Indbinding:
Paperback
ISBN-10:
3031163354
Udg. Dato:
11 sep 2022
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
11 sep 2022

Quantitative Evaluation of Systems

- 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
Engelsk
Paperback 2022
Format:

Bog beskrivelse
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.

... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
409 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
399
ISBN-13:
9783031163357
Indbinding:
Paperback
ISBN-10:
3031163354
Udg. Dato:
11 sep 2022
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
11 sep 2022
Finder produkter...
Kategori sammenhænge