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

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification Daniel Kroening
Libristo-Code: 09372120
Verlag Springer International Publishing AG, Juli 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Vollständige Beschreibung
? points 125 b
51.75 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Günstig
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Buch Broschur
common.buy 21.06 €
Vánoční koledy Vladimíra Vopičková / Buch Hardcover
common.buy 3.64 €
Klube & THE BATES Christof Dörr / Buch Broschur
common.buy 18.02 €
EL SIGNO DEL DRAGÓN RICARDO ALIA / Buch Hardcover
common.buy 13.36 €
SICILIA PHILIPPE GLOAGUEN / Buch Hardcover
common.buy 26.42 €
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Buch Broschur
common.buy 31.49 €
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Buch Broschur
common.buy 32.20 €
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Spiel/Spielzeug Spiel
common.buy 30.48 €
Sagen aus Franken Susanne Rebscher / Buch Hardcover
common.buy 14.98 €
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Buch Broschur
common.buy 20.55 €
Diario de un viejo terminal Zamir Bechara / Buch Broschur
common.buy 23.49 €
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Buch Broschur
common.buy 33.72 €
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Buch Broschur
common.buy 53.06 €
Reise durch Barcelona Andreas Drouve / Buch Hardcover
common.buy 18.02 €
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Buch Broschur
common.buy 9.92 €
Clemens Brentano Detlev Lüders / Buch Hardcover
common.buy 119.30 €
L.A. Nudes Confidential Sean McCall / Buch Hardcover
common.buy 31.59 €
Juwikinger - Erster Teil Olav Duun / Buch Hardcover
common.buy 31.29 €
Stunden-Buch Rainer Maria Rilke / Buch Broschur
common.buy 9.00 €

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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 Daniel Kroening, Corina S. Pasareanu
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 677
EAN 9783319216898
ISBN 3319216899
Libristo-Code 09372120
Verlag Springer International Publishing AG
Gewicht 1048
Abmessungen 155 x 235 x 40

Kategorie

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

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Buch Broschur
common.buy 103.10 €
Demnächst
Introduction to International Relations Richard Devetak / Buch Broschur
common.buy 71.50 €
Spice Secret Billie Holladay Skelley / Buch Broschur
common.buy 6.67 €
Amber Waves Sharon Schenbeck / Buch Broschur
common.buy 10.83 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Buch Broschur
common.buy 20.55 €
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Buch Hardcover
common.buy 42.12 €
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Buch Hardcover
common.buy 36.25 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 55.19 €
Revival: Nietzsche in Context (2001) Robin Small / Buch Broschur
common.buy 66.74 €
Top
Lean Change Management Jason Little / Buch Broschur
common.buy 28.86 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Buch Hardcover
common.buy 36.25 €
Because He Loves Me Dana M Watson / Buch Broschur
common.buy 20.35 €
Top
Spanish English Illustrated Dictionary DK / Buch Broschur
common.buy 21.26 €
Intimate: An American Family Photo Album Paisley Rekdal / Buch Hardcover
common.buy 29.97 €
Dear Mr. Nelson Kenneth E Nelson / Buch Hardcover
common.buy 31.29 €
Demnächst
NATIONALISM Richard Allen Sauers / Buch Hardcover
common.buy 51.04 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Buch Hardcover
common.buy 147.05 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Buch Broschur
common.buy 107.96 €
Chicano Frankenstein Daniel A. Olivas / Hörbuch MP3
common.buy 20.04 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Buch Broschur
common.buy 154.55 €
Chemical Genomics Edward D. Zanders / Buch Broschur
common.buy 113.63 €

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?