Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Vše od Springer International Publishing AG
ISBN: 9783319488684

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

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

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2016
Počet stran
199
Obsah
Paperback / softback
Počet stran
199 pages, 36 Illustrations, black and white; XIV, 199 p. 36 illus.

Zanechte své hodnocení

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