Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Swarat Chaudhuri
Libristo kod: 12580327
Nakladnici Springer International Publishing AG, srpanj 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Cijeli opis
? points 125 b
51.78 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Knjiga Meki uvez
common.buy 7.49 €
Романовы. Путь святости и Голгофы Д.А. Остроумов / Knjiga Tvrdi uvez
common.buy 38.50 €
SCHEDA LIBRO INFANZIA DI NATHALIE SARRAU SARRAUTE NATHALIE / Knjiga Meki uvez
common.buy 7.89 €
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Knjiga Meki uvez
common.buy 18.84 €
Making und Schule Selina Ingold / Knjiga Meki uvez
common.buy 22.29 €
ultimo dei giusti André Schwarz Bart / Knjiga Meki uvez
common.buy 23.30 €
Métodos de numeración y remuneración genealógica Fernández Vilches / Knjiga Meki uvez
common.buy 15.70 €
¡Adelante! JEAN-LOUIS BARREAU / Knjiga Meki uvez
common.buy 24.72 €
Rondalles valencianes JOSEP FRANCO / Knjiga Meki uvez
common.buy 25.73 €
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.91 €
Zrozumieć Japonię Dorota Ugorowska / Knjiga Meki uvez
common.buy 10.94 €
Mediation Im Strafrecht Stefanie Mühlfeld / Knjiga Meki uvez
common.buy 85.63 €
Por los mares del Sur con Jack London MARTIN JOHNSON / Knjiga Meki uvez
common.buy 22.08 €
El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Knjiga Meki uvez
common.buy 72.25 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Swarat Chaudhuri, Azadeh Farzan
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2016
Broj stranica 521
EAN 9783319415390
ISBN 3319415395
Libristo kod 12580327
Nakladnici Springer International Publishing AG
Težina 8073
Dimenzije 155 x 235 x 32

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Cord Blood Transplantations Mitchell Horwitz / Knjiga Tvrdi uvez
common.buy 121.10 €
Glassy Materials And Disordered Solids: An Introduction To Their Statistical Mechanics (Revised Edition) Kurt Binder / Knjiga Tvrdi uvez
common.buy 112.99 €
Top Novo
Hunger and Thirst Claire Fuller / Knjiga Meki uvez
common.buy 15.19 €
Leyte 1944 Chun Clayton K. S. Chun / E-knjiga Adobe ePub DRM
common.buy 18.33 €
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Knjiga Meki uvez
common.buy 26.95 €
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Knjiga Meki uvez
common.buy 13.06 €
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Knjiga Meki uvez
common.buy 17.52 €
New Jersey Joseph G. Bilby / Knjiga Tvrdi uvez
common.buy 31.31 €
Blaine's Playful Namaste Kerry Alison Wekelo / Knjiga Tvrdi uvez
common.buy 15.80 €
Nuclear Energy Nicholas Tsoulfanidis / Knjiga Tvrdi uvez
common.buy 215.05 €
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 Meki uvez
common.buy 25.12 €
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Knjiga Tvrdi uvez
common.buy 14.28 €
Freedom of Speech Elizabeth Powers / Knjiga Tvrdi uvez
common.buy 124.75 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?