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 29.99 €
Lebensfunken Akin Yildiz / Buch Broschur
common.buy 10.09 €
Vie Abregee Du T. H. Frere Polycarpe / Buch Broschur
common.buy 14.59 €
MALCOLM X : DE L'EXCLUSIVISME NOIR A LA SPIRITUALITE UNIVERSELLE (JE VEUX CONNAITRE) TARIQ RAMADAN Buch Broschur
common.buy 11.19 €
Kielikarhu 3. Harjoituskirja A. Saari Elli / Buch Broschur
common.buy 25.49 €
I ja sam tu, uz vas Smriti Halls / Buch Hardcover
common.buy 11.39 €
My Little Pony. Witaj w Equestrii. Książka z magnesami Praca zbiorowa / Buch Hardcover
common.buy 7.29 €
Deník Henry David Thoreau / Buch Hardcover
common.buy 16.29 €
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 27.49 €
La enzima para rejuvenecer HIROMI SHINYA / Buch Broschur
common.buy 11.49 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Buch Broschur
common.buy 42.95 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Buch Broschur
common.buy 13.39 €
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
Vegetative Physiologie Gerhard Heldmaier / Buch Hardcover
common.buy 47.19 €
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

Ecclesiantics: 30 Years of Church Humor Erik Johnson / Buch Broschur
common.buy 10.69 €
Debates in Citizenship Education James Arthur / Buch Broschur
common.buy 64.09 €
Wizards' Country DAPHNE ROOKE / Buch Broschur
common.buy 13.69 €
Strategic Networking in Small High Tech Firms Mette Monsted / Buch Broschur
common.buy 35.09 €
Compagnie Irlandaise M. W. Kirwan / Buch Broschur
common.buy 31.09 €
Defending Objectivity Margaret Archer / Buch Hardcover
common.buy 230.89 €
The Mammals of Israel Walter W. Ferguson / Buch Broschur
common.buy 27.09 €
Dirty Kiss Rhys Ford / Buch Broschur
common.buy 13.79 €
Khobar Towers Air Force History and Museums Program / Buch Broschur
common.buy 28.79 €
Households as Corporate Firms Krislert Samphantharak / Buch Broschur
common.buy 39.29 €
Glyph* Shiro Nishimoto / Buch Hardcover
common.buy 19.09 €
American Paint Horse Glynn W. Haynes / Buch Broschur
common.buy 30.79 €
Spider Tapestries Mike Allen / Buch Broschur
common.buy 14.59 €
Witch Stories E. Lynn Linton / Buch Hardcover
common.buy 43.49 €
Leisure, Activism, and the Animation of the Urban Environment I R Lamond / E-Book Adobe ePub DRM
common.buy 52.89 €
Cambridge Companion to the Musical William A. Everett / Buch Broschur
common.buy 43.09 €
Some Mathematical Aspects of Inverse Thermoelastic Problems Kirtiwant Ghadle / Buch Broschur
common.buy 67.69 €
The House of Vanity Hamza Laaouamri / Buch Broschur
common.buy 14.59 €
Inequality in the Digital Economy Andrew White / Buch Broschur
common.buy 136.49 €
Neu
The Application of GIS Technologies in the Roman Period Fernandez / Buch Broschur
common.buy 44.39 €
Impressive Robert Klanten / Buch Broschur
common.buy 42.39 €
Decentralization and Development Partnership Fumihiko Saito / Buch Broschur
common.buy 50.99 €
Parameter Setting Thomas Roeper / Buch Hardcover
common.buy 168.09 €
Environmental History of Medieval Europe Richard Hoffmann / Buch Broschur
common.buy 42.49 €

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?