Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Aided Verification

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Swarat Chaudhuri
Libristo kód: 12580327
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
? points 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

Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Kniha Brožovaná
common.buy 193 Kč
Романовы. Путь святости и Голгофы Д.А. Остроумов / Kniha Pevná
common.buy 987 Kč
SCHEDA LIBRO INFANZIA DI NATHALIE SARRAU SARRAUTE NATHALIE / Kniha Brožovaná
common.buy 181 Kč
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Kniha Brožovaná
common.buy 480 Kč
Making und Schule Selina Ingold / Kniha Brožovaná
common.buy 507 Kč
ultimo dei giusti André Schwarz Bart / Kniha Brožovaná
common.buy 393 Kč
Métodos de numeración y remuneración genealógica Fernández Vilches / Kniha Brožovaná
common.buy 415 Kč
¡Adelante! JEAN-LOUIS BARREAU / Kniha Brožovaná
common.buy 596 Kč
Rondalles valencianes JOSEP FRANCO / Kniha Brožovaná
common.buy 676 Kč
Ma première mythologie - Mes premières lectures de mythologie CP/CE1 6/7 ans Hélène Kérillis / Kniha Kniha
common.buy 230 Kč
Zrozumieć Japonię Dorota Ugorowska / Kniha Brožovaná
common.buy 264 Kč
Mediation Im Strafrecht Stefanie Mühlfeld / Kniha Brožovaná
common.buy 1 959 Kč
Por los mares del Sur con Jack London MARTIN JOHNSON / Kniha Brožovaná
common.buy 587 Kč
El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Kniha Brožovaná
common.buy 1 917 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.?

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer Aided Verification
Autor Swarat Chaudhuri, Azadeh Farzan
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 521
EAN 9783319415390
ISBN 3319415395
Libristo kód 12580327
Nakladatelství Springer International Publishing AG
Váha 8073
Rozměry 155 x 235 x 32

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Výpočetní a informační technologie > Počítačové sítě a komunikace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Cord Blood Transplantations Mitchell Horwitz / Kniha Pevná
common.buy 2 762 Kč
Glassy Materials And Disordered Solids: An Introduction To Their Statistical Mechanics (Revised Edition) Kurt Binder / Kniha Pevná
common.buy 2 605 Kč
Top Nové
Hunger and Thirst Claire Fuller / Kniha Brožovaná
common.buy 342 Kč
Leyte 1944 Chun Clayton K. S. Chun / E-kniha Adobe ePub DRM
common.buy 463 Kč
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Kniha Brožovaná
common.buy 619 Kč
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Kniha Brožovaná
common.buy 299 Kč
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Kniha Brožovaná
common.buy 403 Kč
New Jersey Joseph G. Bilby / Kniha Pevná
common.buy 715 Kč
Blaine's Playful Namaste Kerry Alison Wekelo / Kniha Pevná
common.buy 358 Kč
Nuclear Energy Nicholas Tsoulfanidis / Kniha Pevná
common.buy 5 465 Kč
Easy Cooking for Special Diets: How to Cook for Weight Loss/Blood Sugar Control, Food Allergy, Heart Healthy, Diabetic, and Just Healthy Diets Even If Nicolette M. Dumke / Kniha Brožovaná
common.buy 577 Kč
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Kniha Pevná
common.buy 289 Kč
Freedom of Speech Elizabeth Powers / Kniha Pevná
common.buy 2 936 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?