Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Swarat Chaudhuri
Koda Libristo: 12580327
Založba Springer International Publishing AG, julij 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Knjiga Mehka
common.buy 72.31 €
Rondalles valencianes JOSEP FRANCO / Knjiga Mehka
common.buy 25.82 €
Mediation Im Strafrecht Stefanie Mühlfeld / Knjiga Mehka
common.buy 81.02 €
Ma première mythologie - Mes premières lectures de mythologie CP/CE1 6/7 ans Hélène Kérillis / Knjiga Knjiga
common.buy 8.60 €
Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Knjiga Mehka
common.buy 7.28 €
¡Adelante! JEAN-LOUIS BARREAU / Knjiga Mehka
common.buy 21.97 €
ultimo dei giusti André Schwarz Bart / Knjiga Mehka
common.buy 14.68 €
Making und Schule Selina Ingold / Knjiga Mehka
common.buy 20.96 €
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Knjiga Mehka
common.buy 17.92 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Aided Verification
Avtor Swarat Chaudhuri, Azadeh Farzan
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2016
Število strani 521
EAN 9783319415390
ISBN 3319415395
Koda Libristo 12580327
Založba Springer International Publishing AG
Teža 8073
Mere 155 x 235 x 32

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Cord Blood Transplantations Mitchell Horwitz / Knjiga Trda
common.buy 114.24 €
Top Novo
Hunger and Thirst Claire Fuller / Knjiga Mehka
common.buy 14.17 €
Nuclear Energy Nicholas Tsoulfanidis / Knjiga Trda
common.buy 203.77 €
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Knjiga Mehka
common.buy 25.61 €
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Knjiga Mehka
common.buy 12.35 €
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Knjiga Mehka
common.buy 16.70 €
New Jersey Joseph G. Bilby / Knjiga Trda
common.buy 29.56 €
Blaine's Playful Namaste Kerry Alison Wekelo / Knjiga Trda
common.buy 14.78 €
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 / Knjiga Mehka
common.buy 23.89 €
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Knjiga Trda
common.buy 13.46 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo