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: 01571263
Price: 53.79 EUR
Availability: InStock
Author: Neil D. Jones
ISBN: 9783540938996

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Neil D. Jones

Markus Müller-Olm

Sprache

Englisch

Buch Broschur

Libristo-Code: 01571263

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2008

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

Libristo-Code: 01571263

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

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes

Broschur

34.49 €

Geheime Liebe auf Sylt Gabriele Diechler

Broschur

11.39 €

Pověsti Čech, Moravy a Slezska August Sedláček

Hardcover

9.49 €

Tantrická masáž Kalashatra Govinda

Hardcover

19.89 €

Neumírej před smrtí Jevgenij Jevtušenko

binding.

9.39 €

Death note. Short stories Tsugumi Ohba

Broschur

9.39 €

Anekdòt -2 Bob Lapierre

Broschur

42.59 €

Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss

Broschur

34.95 €

Quer durch Athen Petros Markaris

Broschur

12.00 €

Potigny - au siècle des mineurs Benjamin

Hardcover

31.99 €

Blattwerk Deutsch - Texte, 5/6 AHS Johannes Gaisböck

Broschur

20.79 €

Drácula superstar JULIO PEREZ MANZANARES

Audio CD

24.29 €

La vuelta al mundo en 80 días GERONIMO STILTON

Broschur

13.79 €

C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass

Broschur

80.99 €

Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous

Broschur

41.99 €

Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil

Broschur

65.29 €

Das Orakel vom Berge Philip K. Dick

Broschur

9.99 €

Quantifizierung Operationeller Risiken Christian Bohlender

Broschur

51.99 €

Die Wahrheit über mich - Das Fragespiel David Tripolina

Spiel

8.99 €

Processus d'Impression Textiles Zouhaier Romdhani

Broschur

42.89 €

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

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 Neil D. Jones, Markus Müller-Olm

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 381

EAN 9783540938996

ISBN 3540938990

Libristo-Code 01571263

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

Gewicht 605

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 > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

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