Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
SPS 3.99 € Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto DPD 2.99 € Zberné miesto GLS 2.49 € SPS Parcel Shop 2.99 € Packeta 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer International Publishing AG, júl 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Celý popis
? points 125 b
51.27 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

VALORACION DEL DAÑO CORPORAL,LA KVITKO / Kniha Kniha
common.buy 58.29 €
Vie et mort en psychanalyse Laplanche / Kniha Brožovaná
common.buy 15.24 €
ultimo dei giusti André Schwarz Bart / Kniha Brožovaná
common.buy 23.07 €
La France politique, économique et social sous la Cinquième République : une puissance à redéfinir Lancar / Kniha Brožovaná
common.buy 21.56 €
Making und Schule Selina Ingold / Kniha Brožovaná
common.buy 22.07 €
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Kniha Brožovaná
common.buy 19.36 €
SCHEDA LIBRO INFANZIA DI NATHALIE SARRAU SARRAUTE NATHALIE / Kniha Brožovaná
common.buy 7.82 €
Ragione e sentimento letto da Paola Cortellesi Jane Austen / Kniha binding.
common.buy 13.94 €
Sposób na przekąskę. Królik i Misia Julian Gough / Kniha Pevná
common.buy 6.91 €
Романовы. Путь святости и Голгофы Д.А. Остроумов / Kniha Pevná
common.buy 40.43 €
Métodos de numeración y remuneración genealógica Fernández Vilches / Kniha Brožovaná
common.buy 16.85 €
HISTORIAS DE PUEBLOS Y CIUDADES SEKANINOVA STEP / Kniha Kniha
common.buy 21.87 €
¡Adelante! JEAN-LOUIS BARREAU / Kniha Brožovaná
common.buy 24.37 €
Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Kniha Brožovaná
common.buy 6.71 €
Mediation Im Strafrecht Stefanie Mühlfeld / Kniha Brožovaná
common.buy 84.68 €
Zrozumieć Japonię Dorota Ugorowska / Kniha Brožovaná
common.buy 11.13 €
Lieben Sie doch, wie Sie wollen! Maja Storch / Kniha Brožovaná
common.buy 18.86 €
Into The Depth Of Time Mie Miki / Audio Audio CD
common.buy 22.87 €
El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Kniha Brožovaná
common.buy 78.46 €
Rondalles valencianes JOSEP FRANCO / Kniha Brožovaná
common.buy 27.49 €
Por los mares del Sur con Jack London MARTIN JOHNSON / Kniha Brožovaná
common.buy 23.87 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computer Aided Verification
Autor Swarat Chaudhuri, Azadeh Farzan
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2016
Počet strán 521
EAN 9783319415390
ISBN 3319415395
Libristo kód 12580327
Nakladateľstvo Springer International Publishing AG
Váha 8073
Rozmery 155 x 235 x 32

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Výpočtové a informačné technológie > Počítačové siete a komunikácia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Cord Blood Transplantations Mitchell Horwitz / Kniha Pevná
common.buy 119.91 €
Toothache Relief Naturally Hayden Anderson / Kniha Brožovaná
common.buy 9.02 €
Hunger and Thirst Claire Fuller / Kniha Brožovaná
common.buy 15.74 €
Leyte 1944 Chun Clayton K. S. Chun / E-kniha Adobe ePub DRM
common.buy 19.66 €
Finding Jesus ANJLI SHARMA / Kniha Pevná
common.buy 12.23 €
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 26.08 €
Brian's Journey Merril Holloway II / Kniha Brožovaná
common.buy 18.65 €
Rudolf Hess at Spandau Prison Dennis F. King / Kniha Brožovaná
common.buy 18.65 €
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Kniha Brožovaná
common.buy 12.53 €
Adventuresome Kittens CLYDE C. JA SCEBOLD / Kniha Brožovaná
common.buy 23.47 €
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Kniha Brožovaná
common.buy 16.95 €
New Jersey Joseph G. Bilby / Kniha Pevná
common.buy 32.40 €
Blaine's Playful Namaste Kerry Alison Wekelo / Kniha Pevná
common.buy 15.04 €
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 24.27 €
Nuclear Energy Nicholas Tsoulfanidis / Kniha Pevná
common.buy 223.87 €
Oil Pollution and its Environmental Impact in the Arabian Gulf Region M. Al-Azab / Kniha Pevná
common.buy 173.69 €
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Kniha Pevná
common.buy 13.64 €
Top
Then He Ate My Boy Entrancers Louise Rennison / Kniha Brožovaná
common.buy 13.34 €
Parenthood and Qur'anic Guidance Syed Iftikhar Haider / Kniha Brožovaná
common.buy 12.93 €
Higher English Language Skills: Answers and Marking Schemes BRIDGES / Kniha Brožovaná
common.buy 43.04 €
Pripravujeme
Inheritance of Light Gonzalez R / Kniha Pevná
common.buy 28.49 €
Freedom of Speech Elizabeth Powers / Kniha Pevná
common.buy 125.43 €
Glassy Materials And Disordered Solids: An Introduction To Their Statistical Mechanics (Revised Edition) Kurt Binder / Kniha Pevná
common.buy 114.49 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?