Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Aided Verification

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

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Swarat Chaudhuri
Codul Libristo: 12580327
Editura Springer International Publishing AG, iulie 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Descrierea completă
? points 132 b
285.53 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Carte Carte broșată
common.buy 41.84 lei
Романовы. Путь святости и Голгофы Д.А. Остроумов / Carte Copertă tare
common.buy 213.91 lei
SCHEDA LIBRO INFANZIA DI NATHALIE SARRAU SARRAUTE NATHALIE / Carte Carte broșată
common.buy 43.08 lei
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Carte Carte broșată
common.buy 104.09 lei
Making und Schule Selina Ingold / Carte Carte broșată
common.buy 123.76 lei
ultimo dei giusti André Schwarz Bart / Carte Carte broșată
common.buy 85.14 lei
Métodos de numeración y remuneración genealógica Fernández Vilches / Carte Carte broșată
common.buy 89.93 lei
¡Adelante! JEAN-LOUIS BARREAU / Carte Carte broșată
common.buy 136.36 lei
Rondalles valencianes JOSEP FRANCO / Carte Carte broșată
common.buy 146.56 lei
Ma première mythologie - Mes premières lectures de mythologie CP/CE1 6/7 ans Hélène Kérillis / Carte Carte
common.buy 49.85 lei
Zrozumieć Japonię Dorota Ugorowska / Carte Carte broșată
common.buy 57.24 lei
Mediation Im Strafrecht Stefanie Mühlfeld / Carte Carte broșată
common.buy 471.65 lei
Por los mares del Sur con Jack London MARTIN JOHNSON / Carte Carte broșată
common.buy 127.20 lei
El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Carte Carte broșată
common.buy 415.55 lei

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.?

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Aided Verification
Autor Swarat Chaudhuri, Azadeh Farzan
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 521
EAN 9783319415390
ISBN 3319415395
Codul Libristo 12580327
Editura Springer International Publishing AG
Greutatea 8073
Dimensiuni 155 x 235 x 32

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Cord Blood Transplantations Mitchell Horwitz / Carte Copertă tare
common.buy 668.92 lei
Glassy Materials And Disordered Solids: An Introduction To Their Statistical Mechanics (Revised Edition) Kurt Binder / Carte Copertă tare
common.buy 618.43 lei
Top Nou
Hunger and Thirst Claire Fuller / Carte Carte broșată
common.buy 85.66 lei
Leyte 1944 Chun Clayton K. S. Chun / E-book Adobe ePub DRM
common.buy 99.71 lei
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Carte Carte broșată
common.buy 148.02 lei
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Carte Carte broșată
common.buy 71.71 lei
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Carte Carte broșată
common.buy 96.70 lei
New Jersey Joseph G. Bilby / Carte Copertă tare
common.buy 173.21 lei
Blaine's Playful Namaste Kerry Alison Wekelo / Carte Copertă tare
common.buy 87.74 lei
Nuclear Energy Nicholas Tsoulfanidis / Carte Copertă tare
common.buy 1 184.72 lei
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 / Carte Carte broșată
common.buy 137.81 lei
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Carte Copertă tare
common.buy 70.46 lei
Freedom of Speech Elizabeth Powers / Carte Copertă tare
common.buy 669.85 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?