Quantitative Evaluation of Systems - Ábrahám Erika
Quantitative Evaluation of Systems - Ábrahám Erika
- 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
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.
EAN: 9783031163371
Marka
Symbol
307HKG03527KS
Rok wydania
2022
Strony
420
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Ábrahám Erika
Język
angielski
Bez ryzyka
14 dni na łatwy zwrot
Szeroki asortyment
ponad milion pozycji
Niskie ceny i rabaty
nawet do 50% każdego dnia
Niepotwierdzona zakupem
Ocena: /5
Marka
Symbol
307HKG03527KS
Kod producenta
9783031163371
Rok wydania
2022
Strony
420
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Ábrahám Erika
Język
angielski
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
EAN: 9783031163371
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.
EAN: 9783031163371
Niepotwierdzona zakupem
Ocena: /5
Zapytaj o produkt
Niepotwierdzona zakupem
Ocena: /5
Napisz swoją opinię