Leveraging Applications of Formal Methods, Verification and Validation

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

Vše od Springer Nature Switzerland AG
ISBN: 9783030891589

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478:...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 762 Kč

1 - 2 ks
1 762 Kč
3 - 10 ks
1 745 Kč
11 a více ks
1 727 Kč

Naše cena 1 762 Kč je o 6 % nižší než
doporučená cena výrobce 1 875 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 762 Kč 1 875 Kč

Nepřehlédněte od Springer Nature Switzerland AG

Více o produktu

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.

Výrobce
Springer Nature Switzerland AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2021
Počet stran
504
Obsah
Paperback / softback
Počet stran
504 pages, 71 Illustrations, color; 53 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 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!