Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science - Bernhard Steffen - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540208037 - 7 januari 2004
Om omslag och titel inte matchar är det titeln som gäller

Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

Pris
SEK 549

Beställningsvara

Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

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.

325 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 7 januari 2004
ISBN13 9783540208037
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 325
Mått 156 × 234 × 18 mm   ·   480 g
Språk Tyska  

Fler produkter med Bernhard Steffen

Visa alla

Se alt med Bernhard Steffen ( t.ex. Pocketbok och Inbunden Bok )