Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
PPL 99 Kč
Zásilkovna 54 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
PPL 99 Kč
Zásilkovna 54 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Computer Aided Verification
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co...
Celý popis
Libristo kód: 02075327
?
331 b
331 b
3 313
Kč
Skladem u dodavatele v malém množství
Odesíláme za 12-17 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
4 295
Kč
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§
Informace o knize
Plný název
Computer Aided Verification
Autor
Natasha Sharygina, Helmut Veith
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2013
Počet stran
1015
EAN
9783642397981
ISBN
3642397980
Libristo kód
02075327
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
1539
Rozměry
155 x 235 x 56
