Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Computer Aided Verification

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

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification Swarat Chaudhuri
Libristo-Code: 12580327
Verlag Springer International Publishing AG, Juli 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Vollständige Beschreibung
? points 125 b
51.68 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computer Aided Verification
Autor Swarat Chaudhuri, Azadeh Farzan
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 521
EAN 9783319415390
ISBN 3319415395
Libristo-Code 12580327
Verlag Springer International Publishing AG
Gewicht 8073
Abmessungen 155 x 235 x 32

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Cord Blood Transplantations Mitchell Horwitz / Buch Hardcover
common.buy 120.87 €
Glassy Materials And Disordered Solids: An Introduction To Their Statistical Mechanics (Revised Edition) Kurt Binder / Buch Hardcover
common.buy 112.78 €
Top Neu
Hunger and Thirst Claire Fuller / Buch Broschur
common.buy 15.16 €
Leyte 1944 Chun Clayton K. S. Chun / E-Book Adobe ePub DRM
common.buy 19.01 €
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Buch Broschur
common.buy 28.21 €
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Buch Broschur
common.buy 13.65 €
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Buch Broschur
common.buy 18.40 €
New Jersey Joseph G. Bilby / Buch Hardcover
common.buy 31.25 €
Blaine's Playful Namaste Kerry Alison Wekelo / Buch Hardcover
common.buy 16.68 €
Nuclear Energy Nicholas Tsoulfanidis / Buch Hardcover
common.buy 225.87 €
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 / Buch Broschur
common.buy 26.29 €
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Buch Hardcover
common.buy 12.63 €
Freedom of Speech Elizabeth Powers / Buch Hardcover
common.buy 140.50 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?