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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification Armin Biere
Libristo-Code: 02775219
Verlag Springer International Publishing AG, August 2014
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verific... Vollständige Beschreibung
? points 249 b
101.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Los frutos siderales MORA ALAMEDA / Buch Broschur
common.buy 13.39 €
Top
Wir smart 4. Język niemiecki. Szkoła podstawowa. Klasa 7. Smartbuch + kod dostępu praca zbiorowa / Buch Broschur
common.buy 10.99 €
Charles Hueber, le maire oublié de Strasbourg KRIEGER / Buch Broschur
common.buy 25.19 €
DAN DA DAN 14 Yukinobu Tatsu / Buch Broschur
common.buy 9.09 €
Harry Potter - Kit de pâtisserie et moules - Fabrique ton Vif d'Or en chocolat ! The Wizarding World / Buch Hardcover
common.buy 14.79 €
Rundreise Kalifornien mit Las Vegas (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 21.99 €
Procvičujeme si Psaní y/ý a i/í po tvrdých a měkkých souhláskách a psaní ě Vlasta Švejdová / Buch Broschur
common.buy 1.49 €
Lettere. Testo greco a fronte Platone / Buch Hardcover
common.buy 50.79 €
Tief ist der Brunnen der Vergangenheit Gerhard Danzer / Buch Hardcover
common.buy 32.99 €
Isola d'Elba e Pianosa Russo William Dello / Buch Broschur
common.buy 24.29 €
Sestra lovca bosoriek Beth Underdown / Buch Hardcover
common.buy 8.29 €
Mut ist der Anfang vom Gluck Heike Karen Gurtler / E-Book Adobe ePub DRM
common.buy 13.69 €
Sneaker Obsession Pauwels / Buch Broschur
common.buy 17.19 €
The Compound Effect Darren Hardy / Buch Broschur
common.buy 16.29 €
Die Zustimmung der Bundesregierung zu Verträgen der Bundesländer mit auswärtigen Staaten gemäß Art. 32 III GG. Peter Seidel / Buch Broschur
common.buy 59.90 €
Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche Johannes Lenhard / Buch Broschur
common.buy 18.95 €
Imageanalyse der TSG Ludwigshafen-Friesenheim Sebastian Bronner / Buch Broschur
common.buy 47.95 €
Lessings Werke Gotthold E. Lessing / Buch Broschur
common.buy 79.90 €
Als Vagabund um die Erde Harry Franck / Buch Broschur
common.buy 69.90 €
Hardcore Training Ellington Darden / Buch Broschur
common.buy 22.95 €
Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk Wilhelm Anton Fischer / Buch Broschur
common.buy 54.99 €
Beschaffungsplanung Und Budgetierung Heinz Stark / Buch Broschur
common.buy 54.99 €
25 Jahre Kaiser Wilhelm-Gesellschaft Max Planck / Buch Broschur
common.buy 54.99 €
Betrieb Und Und Bedienung Von Ortsfesten Viertakt-Dieselmaschinen Arthur Balog / Buch Broschur
common.buy 54.99 €

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

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 Armin Biere, Roderick Bloem
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 877
EAN 9783319088662
ISBN 3319088661
Libristo-Code 02775219
Verlag Springer International Publishing AG
Gewicht 1352
Abmessungen 155 x 235 x 48

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

Dynamic Systems Models Josif A. Boguslavskiy / Buch Hardcover
common.buy 101.79 €
From the Garden Michael Dahl / Buch Broschur
common.buy 6.79 €
101 Marketing Strategies for Accounting, Law, Consulting, and Professional Services Firms Troy Waugh / Buch Broschur
common.buy 30.39 €
British Woodies from the 1920s to the 1950s Colin Peck / Buch Broschur
common.buy 12.79 €
Anti-Death League Kingsley Amis / Buch Broschur
common.buy 9.19 €
How to Read the Chinese Novel David L. Rolston / Buch Broschur
common.buy 94.89 €
Mobilizing India Tejaswini Niranjana / Buch Broschur
common.buy 39.09 €
Fundamental Research in Moral Development Bill Puka / Buch Hardcover
common.buy 50.29 €
Moncada Webster Hare Paul Webster Hare / Buch Broschur
common.buy 13.89 €
Elephants Can't Hide Forever Pete Plenge / Buch Broschur
common.buy 14.79 €
Shades of Earl Grey Laura Childs / Buch Broschur
common.buy 5.59 €
750 Spanish Verbs and Their Uses Zamir / Buch Broschur
common.buy 24.49 €
Omega Factor John G. Henning / Buch Broschur
common.buy 17.09 €
Censored 1996: The 1996 Project Censored Yearbook Carl Jensen / Buch Broschur
common.buy 14.19 €
Kicad - Getting Started in Kicad David Jahshan / Buch Broschur
common.buy 16.19 €
BEAUCHAMP: OR THE WHEEL OF FORTUNE JAMES HOLR FIELDING / Buch Hardcover
common.buy 40.69 €
Criticism of the New Testament Francis Crawford Burkitt / Buch Hardcover
common.buy 33.69 €
The Garret and The Garden Robert Michael Ballantyne / Buch Broschur
common.buy 5.59 €
Apache Spark Quick Start Guide Shrey Mehrotra / Buch Broschur
common.buy 29.19 €
Complete Works of W.H. Auden W. H. Auden / Buch Hardcover
common.buy 400.29 €
Lost and Found Dara Girard / Buch Broschur
common.buy 7.39 €
Every Last Secret A. R. Torre / Buch Broschur
common.buy 10.29 €
Top
Clementine Deliss Clémentine Deliss / Buch Hardcover
common.buy 15.49 €
Deviant Women of the French Revolution and the Rise of Feminism Lisa Beckstrand / Buch Hardcover
common.buy 99.39 €

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?