Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Computer Aided Verification

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Swarat Chaudhuri
Libristo-code: 12580327
Uitgeverij Springer International Publishing AG, juli 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Boek Gebonden (paperback)
common.buy 7.88 €
Романовы. Путь святости и Голгофы Д.А. Остроумов / Boek Gebonden (harde band)
common.buy 40.76 €
SCHEDA LIBRO INFANZIA DI NATHALIE SARRAU SARRAUTE NATHALIE / Boek Gebonden (paperback)
common.buy 7.88 €
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Boek Gebonden (paperback)
common.buy 19.82 €
Making und Schule Selina Ingold / Boek Gebonden (paperback)
common.buy 22.24 €
ultimo dei giusti André Schwarz Bart / Boek Gebonden (paperback)
common.buy 16.28 €
Métodos de numeración y remuneración genealógica Fernández Vilches / Boek Gebonden (paperback)
common.buy 17.19 €
¡Adelante! JEAN-LOUIS BARREAU / Boek Gebonden (paperback)
common.buy 24.67 €
Rondalles valencianes JOSEP FRANCO / Boek Gebonden (paperback)
common.buy 27.91 €
Ma première mythologie - Mes premières lectures de mythologie CP/CE1 6/7 ans Hélène Kérillis / Boek Boek
common.buy 9.40 €
Zrozumieć Japonię Dorota Ugorowska / Boek Gebonden (paperback)
common.buy 11.52 €
Mediation Im Strafrecht Stefanie Mühlfeld / Boek Gebonden (paperback)
common.buy 85.47 €
Por los mares del Sur con Jack London MARTIN JOHNSON / Boek Gebonden (paperback)
common.buy 24.27 €
El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Boek Gebonden (paperback)
common.buy 79.20 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computer Aided Verification
Auteur Swarat Chaudhuri, Azadeh Farzan
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2016
Aantal pagina's 521
EAN 9783319415390
ISBN 3319415395
Libristo-code 12580327
Uitgeverij Springer International Publishing AG
Gewicht 8073
Afmetingen 155 x 235 x 32

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Cord Blood Transplantations Mitchell Horwitz / Boek Gebonden (harde band)
common.buy 120.87 €
Glassy Materials And Disordered Solids: An Introduction To Their Statistical Mechanics (Revised Edition) Kurt Binder / Boek Gebonden (harde band)
common.buy 112.78 €
TOP Nieuw
Hunger and Thirst Claire Fuller / Boek Gebonden (paperback)
common.buy 15.16 €
Leyte 1944 Chun Clayton K. S. Chun / E-book Adobe ePub DRM
common.buy 19.41 €
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Boek Gebonden (paperback)
common.buy 26.90 €
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Boek Gebonden (paperback)
common.buy 13.04 €
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Boek Gebonden (paperback)
common.buy 17.49 €
New Jersey Joseph G. Bilby / Boek Gebonden (harde band)
common.buy 31.25 €
Blaine's Playful Namaste Kerry Alison Wekelo / Boek Gebonden (harde band)
common.buy 15.77 €
Nuclear Energy Nicholas Tsoulfanidis / Boek Gebonden (harde band)
common.buy 225.77 €
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 / Boek Gebonden (paperback)
common.buy 25.08 €
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Boek Gebonden (harde band)
common.buy 14.25 €
Freedom of Speech Elizabeth Powers / Boek Gebonden (harde band)
common.buy 130.69 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?