Bücher Wenner
Bücher
Stöbern
Kalender
unsere Tipps
Bestseller
Neuheiten
im Feuilleton
Themenwelten
Englische Titel
Französische Titel
Italienische Titel
Spanische Titel
aus unserer Werbung
Prämien
signierte Bücher
Gutscheine
Stöbern
Kalender
E-Books
Stöbern
% E-Book Deals %
technische Tipps
Signierte Bücher
Jura-Studium
Service
Abholung
Ankauf
dtv-Beck
Fachbücher
Fahrradkurier
Familienstarter
Geschäftskunden
Geschenke
Gutscheine
Kulturpass
Literatur-Abo
Literaturkarte
Schulbücher
signierte Bücher
Versand
Verträge hier kündigen
Wunschzettel
über uns
Bücher Wenner
Ausbildung & Praktikum
Karriere
Engagement
Sponsoring
Umwelt
Kontakt
Apfelbaumpaten
Wer wird Cosplay Millionär?
29.11.2024 um 19:30 Uhr
Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
von Agostino Cortesi
Verlag: Springer Berlin Heidelberg
Reihe: Lecture Notes in Computer Science Nr. 2294
Hardcover
ISBN: 978-3-540-43631-7
Auflage: 2002
Erschienen am 24.04.2002
Sprache: Englisch
Format: 235 mm [H] x 155 mm [B] x 19 mm [T]
Gewicht: 528 Gramm
Umfang: 348 Seiten

Preis: 53,49 €
keine Versandkosten (Inland)


Dieser Titel wird erst bei Bestellung gedruckt. Eintreffen bei uns daher ca. am 19. November.

Der Versand innerhalb der Stadt erfolgt in Regel am gleichen Tag.
Der Versand nach außerhalb dauert mit Post/DHL meistens 1-2 Tage.
53,49 €
merken
zum E-Book (PDF) 53,49 €
klimaneutral
Der Verlag produziert nach eigener Angabe noch nicht klimaneutral bzw. kompensiert die CO2-Emissionen aus der Produktion nicht. Daher übernehmen wir diese Kompensation durch finanzielle Förderung entsprechender Projekte. Mehr Details finden Sie in unserer Klimabilanz.
Klappentext

projectofmakingVMCAI anannualprivilegedforumfor researchersin the area. Specialthanksareduetotheinstitutionsthatsponsoredtheevent:theC- puter Science Department of the University Cä Foscari, the European Asso- ation for Programming Languages and Systems (EAPLS), the MIUR Project ¿InterpretazioneAstratta,TypeSystemseAnalisiControl-Flow¿andtheMIUR Project¿MetodiFormaliperlaSicurezza-MEFISTO¿.Weareespeciallygra- ful to C. Braghin for her helpful support in organizingthe workshop.


andere Formate
weitere Titel der Reihe