[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Computer Aided Verification

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 349 b
139.20 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk Wilhelm Anton Fischer / Broschur
common.buy 55.47 €
100 Number One Hits for Trumpet / Broschur
common.buy 53.45 €
Field Palaeontology Roland Goldring / Broschur
common.buy 95.02 €
Conventions on the Privileges and Immunities of the United Nations and its Specialized Agencies August Reinisch / Hardcover
common.buy 434.67 €
Fatigue Patricia A. Pierce / Broschur
common.buy 313.82 €
Als Vagabund um die Erde Harry Franck / Broschur
common.buy 70.51 €
101 Marketing Strategies for Accounting, Law, Consulting, and Professional Services Firms Troy Waugh / Broschur
common.buy 47.60 €
Cultural Proficiency In Addressing Health Disparities Sade Kosoko-Lasaki / Broschur
common.buy 145.15 €
Subventionspolitik Der Hohen Behoerde Der Europaischen Gemeinschaft Fur Kohle Und Stahl Und Ihre Auswirkungen Auf Den Kohlenbergbau Dieser Gemeinschaf Philipp Bennecke / Broschur
common.buy 55.47 €
Deviant Women of the French Revolution and the Rise of Feminism Lisa Beckstrand / Hardcover
common.buy 124.07 €
Einführung in das GmbH-Recht Werner Borns / Broschur
common.buy 38.27 €
750 Spanish Verbs and Their Uses Zamir / Broschur
common.buy 38.22 €
Advances in Natural Language Processing Hitoshi Isahara / Broschur
common.buy 70.50 €
Cost and Fee Allocation in Civil Procedure Mathias Reimann / Hardcover
common.buy 139.20 €
Betrieb Und Und Bedienung Von Ortsfesten Viertakt-Dieselmaschinen Arthur Balog / Broschur
common.buy 55.47 €
Die Zustimmung der Bundesregierung zu Verträgen der Bundesländer mit auswärtigen Staaten gemäß Art. 32 III GG. Peter Seidel / Broschur
common.buy 50.34 €

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.

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

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