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: 01657327
Price: 53.59 EUR
Availability: InStock
Author: Ranjit Jhala
ISBN: 9783642182747

12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Ranjit Jhala

David Schmidt

Sprache

Englisch

Buch Broschur

Libristo-Code: 01657327

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

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

Libristo-Code: 01657327

131 b

53.59 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Annie e Robert e il naufragio del Titanic Rino Fruttini

Broschur

14.19 €

Avatar: Don'T Go In The Forest Avatar

Audio CD

18.69 €

Geschichte des deutschen Volkes seit dem Ausgang des Mittelalters Johannes Janssen

Broschur

89.90 €

«Et fu fatta grande festa». Le nozze di Giampaolo Baglioni. Cronaca di una congiura. Le «nozze di sangue» di Astorre Baglioni Alberto Maria Sartore

Broschur

19.89 €

Der Zauberladen von Applecross (Bd. 1) Pierdomenico Baccalario

Adobe ePub DRM

9.19 €

Über Die Einheit Des Menschengeschlechtes Und Den Naturzustand Der Menschen Theodor Waitz

Hardcover

37.50 €

Adab Kitabi imam-i Gazali

Broschur

10.09 €

Buz Kapani Glenn Meade

Broschur

16.99 €

Weltwasserforum in Istanbul A Schneider

Broschur

13.99 €

Elements de l'Histoire Naturelle Des Animaux. Partie 1 (Ed.1882) Alphonse Milne-Edwards

Broschur

26.39 €

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

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 Ranjit Jhala, David Schmidt

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 419

EAN 9783642182747

ISBN 3642182747

Libristo-Code 01657327

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

Gewicht 648

Abmessungen 155 x 235 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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

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