[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Verified Software: Theories, Tools and Experiments

Sprache EnglischEnglisch
Buch Broschur
Buch Verified Software: Theories, Tools and Experiments Dimitra Giannakopoulou
Libristo-Code: 06841788
Verlag Springer International Publishing AG, Oktober 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Vollständige Beschreibung
? points 161 b
64.16 € 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

Webster's First Bunker Hill Oration, 1825 Andrew Jackson George Daniel Webster / Broschur
common.buy 15.33 €
Cure Varley O'Connor / Hardcover
common.buy 22.29 €
Psychology of Personality James T. Lamiell / Hardcover
common.buy 133.28 €
Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir / Broschur
common.buy 122.08 €
Grayshott J.H. Smith / Broschur
common.buy 14.12 €
Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner / Broschur
common.buy 55.48 €
Anna May Wong Chei Mi Lane / Broschur
common.buy 39.34 €
Selfish Gene Philosophy Gerald Alper / Hardcover
common.buy 50.44 €
Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera / Broschur
common.buy 34.60 €
FIRST BOOK MSOPA SOLOS PT 2 BK2CD Hal Leonard Corp / Broschur
common.buy 27.13 €
Process Chemistry of Petroleum Macromolecules Irwin A. Wiehe / Hardcover
common.buy 324.88 €
Genealogies of Long Island Families, from The New York Genealogical and Biographical Record. In Two Volumes. Volume I Island Long Island / Broschur
common.buy 89.79 €
Poems of Praise and Worship Shane Dale Anders / Broschur
common.buy 13.01 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

Informationen zum Buch

Vollständiger Name Verified Software: Theories, Tools and Experiments
Autor Dimitra Giannakopoulou, Daniel Kroening
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 287
EAN 9783319121536
ISBN 3319121537
Libristo-Code 06841788
Verlag Springer International Publishing AG
Gewicht 4569
Abmessungen 155 x 235 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
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 > Informatik > Künstliche Intelligenz
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