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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

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: 50.99 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

125 b

50.99 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Okosystem Darm J. Müller

Broschur

79.99 €

Kants Terminus des Weltbürgertums. Ein infantiles Postulat oder eine realistische Idee? Sarah Jungnitz

Broschur

9.99 €

Au pays des fées Marlène Jobert

Hardcover

10.09 €

Je ne veux pas mourir idiot Georges Wolinski

Broschur

10.69 €

Educación emprendedora Masgrau Juanola

Broschur

17.59 €

Das Assessorexamen im Öffentlichen Recht Michael Ronellenfitsch

Broschur

40.00 €

Hexen und Magie Johannes Dillinger

Broschur

25.00 €

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas

Broschur

17.09 €

Giù nella valle Paolo Cognetti

Hardcover

16.09 €

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

Follow Me Adult Colouring Book Esther Pincini

Broschur

12.99 €

Forest Management for Climate Change Mitigation Yixiang Wang

Hardcover

304.89 €

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

18.19 €