Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science - Radhia Cousot - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540242970 - 13 januari 2005
Om omslag och titel inte matchar är det titeln som gäller

Radhia Cousot
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Pris
SEK 549

Beställningsvara

Förväntad leverans 31 dec - 8 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

483 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 13 januari 2005
ISBN13 9783540242970
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 483
Mått 155 × 235 × 25 mm   ·   693 g
Språk Tyska  
Redaktör Cousot, Radhia

Fler produkter med Radhia Cousot

Visa alla

Se alt med Radhia Cousot ( t.ex. Pocketbok )