Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Criti

Vše od Springer International Publishing AG
ISBN: 9783319459424

Critical Systems: Formal Methods and Automated Verification vydalo nakladatelství Springer International Publishing AG s podtitulem Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Criti...

Více o produktu


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

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.

1 322 Kč 1 406 Kč

Nepřehlédněte od Springer International Publishing AG

Více o produktu

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2016
Počet stran
247
Obsah
Paperback / softback
Počet stran
247 pages, 89 Illustrations, black and white

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Critical Systems: Formal Methods and Automated 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!