[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 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 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

Exploring Piano Classics Technique Alfred Publishing / Broschur
common.buy 9.98 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Hardcover
common.buy 126.99 €
DEMNÄCHST
Vegetative Physiologie Gerhard Heldmaier / Hardcover
common.buy 47.36 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Broschur
common.buy 177.84 €
Parameter Setting Thomas Roeper / Hardcover
common.buy 214.05 €
Die ewige Philosophie Aldous Huxley / Broschur
common.buy 22.19 €
Households as Corporate Firms Krislert Samphantharak / Broschur
common.buy 49.22 €
Gittertiere 1. Bd.1 Heidi Schär / Broschur
common.buy 23.71 €
Decentralization and Development Partnership Fumihiko Saito / Broschur
common.buy 70.50 €
Environmental History of Medieval Europe Richard Hoffmann / Broschur
common.buy 38.32 €

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.§

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

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