TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Vše od
Springer International Publishing AG
ISBN: 9783031676949
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.
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.
Nepřehlédněte od Springer International Publishing AG ↓
1 469 Kč
Více o produktu ↓
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2024
- Počet stran
- 172
- Obsah
- Paperback / softback
- Počet stran
- 172 pages, 20 Illustrations, color; 8 Illustrations, black and white; IX, 172 p. 28 illus., 20 illus
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s TOOLympics Challenge 2023 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!
