Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Vše od
Springer Nature Switzerland AG
ISBN: 9783030614690
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
1 322 Kč
- 1 - 2 ks
- 1 322 Kč
- 3 - 10 ks
- 1 309 Kč
- 11 a více ks
- 1 296 Kč
Naše cena 1 322 Kč je o 6 % nižší než
doporučená cena výrobce 1 406 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 322 Kč
Více o produktu ↓
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
- Výrobce
- Springer Nature Switzerland AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2020
- Počet stran
- 544
- Obsah
- Paperback / softback
- Počet stran
- 544 pages, 658 Illustrations, color; 133 Illustrations, black and white; XV, 544 p. 791 illus., 658
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 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!
