Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA,

Vše od Springer Nature Switzerland AG
ISBN: 9783030955601

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.

Více o produktu


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

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.

1 469 Kč 1 562 Kč

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

Více o produktu

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.

Výrobce
Springer Nature Switzerland AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2022
Počet stran
197
Obsah
Paperback / softback
Počet stran
197 pages, 42 Illustrations, color; 25 Illustrations, black and white

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Software Verification 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!