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
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
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.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

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

Because He Loves Me Dana M Watson / Buch Broschur
common.buy 16.29 €
Amber Waves Sharon Schenbeck / Buch Broschur
common.buy 10.69 €
Demnächst
Introduction to International Relations Richard Devetak / Buch Broschur
common.buy 63.49 €
How To Be A Dynamite Trustee: Book Two: Powers Of The Trustee A Jeanne Emanuel / Buch Broschur
common.buy 7.99 €
Spice Secret Billie Holladay Skelley / Buch Broschur
common.buy 8.69 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Buch Broschur
common.buy 20.29 €
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Buch Hardcover
common.buy 41.59 €
Revival: Nietzsche in Context (2001) Robin Small / Buch Broschur
common.buy 54.69 €
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Buch Hardcover
common.buy 35.79 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 56.99 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Buch Hardcover
common.buy 35.79 €
Lean Change Management Jason Little / Buch Broschur
common.buy 22.99 €
The sun Worshipers of Asia Charles D. Poston / Buch Broschur
common.buy 15.49 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Buch Hardcover
common.buy 119.49 €
Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Buch Broschur
common.buy 101.79 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Buch Broschur
common.buy 152.59 €
Chemical Genomics Edward D. Zanders / Buch Broschur
common.buy 96.99 €
Chicano Frankenstein Daniel A. Olivas / Hörbuch MP3
common.buy 21.09 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Buch Broschur
common.buy 88.49 €
Top
Spanish English Illustrated Dictionary DK / Buch Broschur
common.buy 18.19 €
Demnächst
NATIONALISM Richard Allen Sauers / Buch Hardcover
common.buy 52.39 €
Dear Mr. Nelson Kenneth E Nelson / Buch Hardcover
common.buy 24.79 €
Intimate: An American Family Photo Album Paisley Rekdal / Buch Hardcover
common.buy 24.29 €

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?