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

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification Natasha Sharygina
Libristo-Code: 02075327
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... 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

La société patriarcale face à la résistance des femmes Resta / Buch Broschur
common.buy 27.99 €
Vie Abregee Du T. H. Frere Polycarpe / Buch Broschur
common.buy 13.09 €
MALCOLM X : DE L'EXCLUSIVISME NOIR A LA SPIRITUALITE UNIVERSELLE (JE VEUX CONNAITRE) TARIQ RAMADAN Buch Broschur
common.buy 10.99 €
Kielikarhu 3. Harjoituskirja A. Saari Elli / Buch Broschur
common.buy 22.79 €
I ja sam tu, uz vas Smriti Halls / Buch Hardcover
common.buy 12.89 €
Lebensfunken Akin Yildiz / Buch Broschur
common.buy 8.99 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Buch Broschur
common.buy 17.90 €
Le Mariage de Madame Roland: Trois Annees de Correspondance Amoureuse, 1777-1780 ROLAND DE LA PLATIER / Buch Broschur
common.buy 24.79 €
La enzima para rejuvenecer HIROMI SHINYA / Buch Broschur
common.buy 11.39 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Buch Broschur
common.buy 44.59 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Buch Broschur
common.buy 11.99 €
Kumulyativnye Zaryady Oleg Minin / Buch Broschur
common.buy 79.09 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Buch Broschur
common.buy 16.99 €
Die ewige Philosophie Aldous Huxley / Buch Broschur
common.buy 22.00 €
Demnächst
Gittertiere 1. Bd.1 Heidi Schär / Buch Broschur
common.buy 24.50 €
Demnächst
Vegetative Physiologie Gerhard Heldmaier / Buch Hardcover
common.buy 46.95 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Buch Broschur
common.buy 99.90 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Buch Hardcover
common.buy 30.49 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Natasha Sharygina, Helmut Veith
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 1015
EAN 9783642397981
ISBN 3642397980
Libristo-Code 02075327
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1539
Abmessungen 155 x 235 x 56

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Debates in Citizenship Education James Arthur / Buch Broschur
common.buy 55.39 €
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Buch Broschur
common.buy 10.69 €
Cambridge Companion to the Musical William A. Everett / Buch Broschur
common.buy 38.79 €
The Mammals of Israel Walter W. Ferguson / Buch Broschur
common.buy 24.79 €
Witch Stories E. Lynn Linton / Buch Hardcover
common.buy 53.39 €
Spider Tapestries Mike Allen / Buch Broschur
common.buy 13.09 €
Glyph* Shiro Nishimoto / Buch Hardcover
common.buy 18.09 €
Khobar Towers Air Force History and Museums Program / Buch Broschur
common.buy 26.19 €
Dirty Kiss Rhys Ford / Buch Broschur
common.buy 12.09 €
Defending Objectivity Margaret Archer / Buch Hardcover
common.buy 179.19 €
Compagnie Irlandaise M. W. Kirwan / Buch Broschur
common.buy 20.39 €
Strategic Networking in Small High Tech Firms Mette Monsted / Buch Broschur
common.buy 31.19 €
Wizards' Country DAPHNE ROOKE / Buch Broschur
common.buy 14.49 €
Households as Corporate Firms Krislert Samphantharak / Buch Broschur
common.buy 35.39 €
Some Mathematical Aspects of Inverse Thermoelastic Problems Kirtiwant Ghadle / Buch Broschur
common.buy 67.69 €
Miles Around Paris Douglas Pledger / Buch Broschur
common.buy 10.19 €
Exploring Piano Classics Technique Alfred Publishing / Buch Broschur
common.buy 15.29 €
The Passaic Flood of 1903 Marshall Ora Leighton / Buch Broschur
common.buy 13.79 €
Data Analysis using Python and Power BI Amreen Khan / Buch Broschur
common.buy 38.79 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Buch Hardcover
common.buy 97.49 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Buch Broschur
common.buy 143.79 €
The House of Vanity Hamza Laaouamri / Buch Broschur
common.buy 13.09 €
Environmental History of Medieval Europe Richard Hoffmann / Buch Broschur
common.buy 38.39 €
Parameter Setting Thomas Roeper / Buch Hardcover
common.buy 150.19 €

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?