Verification, Model Checking, and Abstract Interpretation

8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Vše od Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540697350

Constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

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 17. června *

* 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-Verlag Berlin and Heidelberg GmbH & Co. KG

Více o produktu

Constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

Výrobce
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Jazyk
Germany
Rozměry
235 x 155
Rok vydání
2007
Počet stran
395
Obsah
Paperback / softback
Počet stran
395 pages, XI, 395 p.

Zanechte své hodnocení

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