Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Libristo-Code: 01558944
Verlag Springer, Berlin, November 2003
This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

VIROLOGÍA INFORMÁTICA François Xavier Lumingu Thamba / Buch Broschur
common.buy 63.32 €
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Buch Broschur
common.buy 15.39 €
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Buch Broschur
common.buy 7.79 €
Zur normalen und pathologischen Anatomie des Greisenalters Ludwig Aschoff / Buch Broschur
common.buy 19.90 €
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Buch Broschur
common.buy 42.91 €
Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Buch Broschur
common.buy 37.00 €
Top
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Buch Hardcover
common.buy 13.39 €
Zohar Laam in Russian: Vayishlach Vayeshev Mikez Vayigash Michael Laitman / Buch Broschur
common.buy 13.20 €
Cuca y Cufin 2020 Jose Perez Chavez / E-Book Adobe ePub DRM
common.buy 10.09 €
Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Buch Broschur
common.buy 6.69 €
"Me noto muy cambiá" JOSE L. CUERDA / Buch Broschur
common.buy 12.49 €
Koran Hermann-Josef Frisch / Buch Broschur
common.buy 14.00 €
Come costruire uno scaffale multilingue in biblioteca ragazzi Caterina Ramonda / Buch Broschur
common.buy 9.69 €
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Buch Broschur
common.buy 18.19 €
Stvorenie hriechu Michal Kučerka / Buch Broschur
common.buy 7.59 €
Sóvárgás Tracy Wolff / Buch Hardcover
common.buy 16.29 €
Jeremias librorum sacrorum interpres atque vindex Augustus Kueper / Buch Hardcover
common.buy 113.69 €
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Buch Broschur
common.buy 20.19 €
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Buch Broschur
common.buy 152.29 €
Der Alemanische Consonantismus In Der Mundart Von Baselstadt (1888) Andreas Heusler / Buch Broschur
common.buy 22.60 €

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 Bernhard Steffen, Giorgio Levi
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2004
Anzahl der Seiten 325
EAN 9783540208037
ISBN 3540208038
Libristo-Code 01558944
Verlag Springer, Berlin
Gewicht 480
Abmessungen 156 x 234 x 18

Kategorie

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

Advances in Mechanism and Machine Science & Engineering in China Yan Chen / Buch Broschur
common.buy 235.79 €
Truths of Spiritualism Wilson Ebenezer V. Wilson / Buch Broschur
common.buy 27.99 €
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Buch Broschur
common.buy 30.69 €
History of the Roman Empire John Bagnell Bury / Buch Broschur
common.buy 38.29 €
Eros: A Book of Psalms Ty Foard / Buch Broschur
common.buy 13.10 €
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Buch Broschur
common.buy 13.10 €
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Buch Broschur
common.buy 7.19 €
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Buch Broschur
common.buy 53.79 €
Letters from Dollar the Contributor Bunny McCollonough Ceili / Buch Broschur
common.buy 7.99 €
Unlevel Crossings Michael O'Leary / Buch Broschur
common.buy 6.79 €
The Things We Do For Love: Luke & Shelly Anita Louise / Buch Broschur
common.buy 12.19 €
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Buch Broschur
common.buy 19.69 €
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Buch Hardcover
common.buy 45.31 €
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Buch Broschur
common.buy 19.10 €
That Bible Warning: Do Not Be Deceived Johnson / Buch Broschur
common.buy 9.69 €
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Buch Broschur
common.buy 5.79 €
Case Studies: Stahl's Essential Psychopharmacology Stephen M. Stahl / E-Book Adobe ePub DRM
common.buy 75.22 €
Development of Adult Thinking Eeva K. Kallio / E-Book Adobe ePub DRM
common.buy 52.91 €
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Buch Hardcover
common.buy 26.59 €
Cybersecurity Evan Jones / Buch Broschur
common.buy 49.49 €
Sleep Tight, Little Wolf - Lijepo spavaj, mali vuce (English - Croatian) Ulrich Renz / E-Book Adobe ePub DRM
common.buy 4.59 €
Brill's New Pauly, Antiquity, Volume 5 (Equ - Has) Helmuth Schneider / Buch Hardcover
common.buy 460.28 €
Geometry IV Yu. G. Reshetnyak / Buch Hardcover
common.buy 114.39 €
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Buch Hardcover
common.buy 53.79 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?