Tools and Algorithms for the Construction and Analysis of Systems
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germ
Vše od
Springer Nature Switzerland AG
ISBN: 9783030995232
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of...
1 028 Kč
- 1 - 2 ks
- 1 028 Kč
- 3 - 10 ks
- 1 018 Kč
- 11 a více ks
- 1 008 Kč
Naše cena 1 028 Kč je o 6 % nižší než
doporučená cena výrobce 1 094 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 Nature Switzerland AG ↓
1 028 Kč
Více o produktu ↓
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
- Výrobce
- Springer Nature Switzerland AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2022
- Počet stran
- 583
- Obsah
- Paperback / softback
- Počet stran
- 583 pages, 134 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Tools and Algorithms for the Construction and Analysis of 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!