Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

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

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 12580324
Price: 1182 CZK
Availability: InStock
Author: Swarat Chaudhuri
ISBN: 9783319415277

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Swarat Chaudhuri

Azadeh Farzan

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 12580324

Nakladatelství Springer International Publishing AG, červenec 2016

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Celý popis

Libristo kód: 12580324

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Frankenstein. Bd.2 Hans Schmid

Pevná

916 Kč

Bu Da Gecer Ya Hu Okay Gönensin

Brožovaná

461 Kč

Filosofía de la elocuencia Antonio de Capmany y de Montpalau

Kniha

1 189 Kč

El entrenador y el equipo : aprendiendo a ser un buen entrenador de formación Mauro Valenciano Oller

Brožovaná

348 Kč

Fundamentos de sistemas digitales Floyd

Brožovaná

2 260 Kč

Blut in den Bayous James Lee Burke

Brožovaná

410 Kč

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.??The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.??