Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 Kč
Kontakt
Jak nakupovat
Pomoc
Doručení
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 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
▸
Prázdný :-(
0
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int...
Celý popis
Libristo kód: 09372112
?
118 b
118 b
1 182
Kč
Skladem u dodavatele
Odesíláme za 5-8 dnů
30 dní na vrácení zboží
Zákazníci také koupili
/
Brožovaná
940
Kč
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§
Herečka
&
Polyglotka
EWA KASP
pro
Přehrát video
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.
Informace o knize
Plný název
Computer Aided Verification
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2015
Počet stran
469
EAN
9783319216676
ISBN
3319216678
Libristo kód
09372112
Nakladatelství
Springer International Publishing AG
Váha
7314
Rozměry
155 x 235 x 25
