Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I
Vše od
Springer International Publishing AG
ISBN: 9783031737084
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
2 056 Kč
- 1 - 2 ks
- 2 056 Kč
- 3 - 10 ks
- 2 036 Kč
- 11 a více ks
- 2 016 Kč
Naše cena 2 056 Kč je o 6 % nižší než
doporučená cena výrobce 2 187 Kč.
Předpoklad doručení do 17. června *
* 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 ↓
2 056 Kč
Více o produktu ↓
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2024
- Počet stran
- 428
- Obsah
- Paperback / softback
- Počet stran
- 428 pages, 83 Illustrations, color; 40 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 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!
