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: 01556086
Price: 53.79 EUR
Availability: InStock
Author: Lenore D. Zuck
ISBN: 9783540003489

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Lenore D. Zuck

Paul D. Attie

Agostino Cortesi

Supratik Mukhopadhyay

Sprache

Englisch

Buch Broschur

Libristo-Code: 01556086

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

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

Libristo-Code: 01556086

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

Voyage, découvre, explore. Les espèces mènacées Trevisan

Leporello

17.89 €

I Love My Mom (Welsh English Bilingual Children's Book) Kidkiddos Books

Broschur

17.19 €

Combat mer - Tome 3 - Les patrouilles de l'as Adi Schnee sur le U-201 en 1941-1942 Braeuer Luc

Hardcover

21.29 €

Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky

Broschur

13.09 €

Bella Donna (Remastered) Stevie Nicks

Audio CD

12.99 €

Question Monetaire: Conference Imhaus-G

Broschur

15.09 €

Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These E. George

Broschur

26.09 €

Dzdzownica Zaneta Pszczolki Lotniczki

Spiel

14.29 €

Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt Nina Brokelschen

Broschur

19.99 €

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.§The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

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 Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2002

Anzahl der Seiten 328

EAN 9783540003489

ISBN 3540003487

Libristo-Code 01556086

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

Gewicht 1070

Abmessungen 155 x 233 x 19

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