Formal Modeling and Analysis of Timed Systems

21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

Vše od Springer International Publishing AG
ISBN: 9783031426254

This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023.

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 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023.

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

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!