Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02340914
Price: 53.79 EUR
Availability: InStock
Author: Kenneth McMillan
ISBN: 9783642540127

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Kenneth McMillan

Xavier Rival

Sprache

Englisch

Buch Broschur

Libristo-Code: 02340914

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Jänner 2014

This book constitutes the refereed proceedings of the 15th International Conference on Verification,... Vollständige Beschreibung

Libristo-Code: 02340914

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas

Broschur

20.09 €

Hexen und Magie Johannes Dillinger

Broschur

25.00 €

Je ne veux pas mourir idiot Georges Wolinski

Broschur

13.49 €

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of 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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification, Model Checking, and Abstract Interpretation

Autor Kenneth McMillan, Xavier Rival

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 493

EAN 9783642540127

ISBN 3642540120

Libristo-Code 02340914

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 7664

Abmessungen 155 x 235 x 28

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

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

Das könnte Sie auch interessieren

Subnational Population Estimates David A. Swanson

Hardcover

192.99 €

London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson

Broschur

19.99 €