Formal Modeling and Analysis of Timed Systems

20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

Vše od Springer International Publishing AG
ISBN: 9783031158384

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022.

Více o produktu


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

1 469 Kč

1 - 2 ks
1 469 Kč
3 - 10 ks
1 454 Kč
11 a více ks
1 440 Kč

Naše cena 1 469 Kč je o 6 % nižší než
doporučená cena výrobce 1 562 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 469 Kč 1 562 Kč

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

Více o produktu

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022.

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2022
Počet stran
307
Obsah
Paperback / softback
Počet stran
307 pages, 34 Illustrations, color; 26 Illustrations, black and white; XVII, 307 p. 60 illus., 34 il

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s 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!