[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

Verification, Model Checking, and Abstract Interpretation

Sprache EnglischEnglisch
Buch Broschur
Buch Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Libristo-Code: 02862913
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Vollständige Beschreibung
? points 177 b
70.52 € 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

TOP
The Awful German Language Mark Twain / Hardcover
common.buy 12.90 €
Most přes řeku Styx Quirin Jedlička / Broschur
common.buy 7.56 €
Storytelling Phebe Cramer / Hardcover
common.buy 115.72 €
Comparative Constitutional Design Tom Ginsburg / Broschur
common.buy 71.12 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Hardcover
common.buy 214.09 €
Visit to the Farm Michael Morpurgo / Broschur
common.buy 10.18 €
Desire for Society H. G. Furth / Hardcover
common.buy 139.23 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Broschur
common.buy 34.60 €
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Broschur
common.buy 16.74 €

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Informationen zum Buch

Vollständiger Name Verification, Model Checking, and Abstract Interpretation
Autor Barbara Jobstmann, K. Rustan M. Leino
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 558
EAN 9783662491218
ISBN 3662491214
Libristo-Code 02862913
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 866
Abmessungen 155 x 235 x 30

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
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