Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings

Vše od Springer International Publishing AG
ISBN: 9783031684159

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 909 Kč

1 - 2 ks
1 909 Kč
3 - 10 ks
1 890 Kč
11 a více ks
1 872 Kč

Naše cena 1 909 Kč je o 6 % nižší než
doporučená cena výrobce 2 031 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 909 Kč 2 031 Kč

Nepřehlédněte od Springer International Publishing AG

Více o produktu

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024.

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2024
Počet stran
338
Obsah
Paperback / softback
Počet stran
338 pages, 54 Illustrations, color; 36 Illustrations, black and white; XIV, 338 p. 90 illus., 54 ill

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!