FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science - Ana Cavalcanti - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642050886 - 26 oktober 2009
Om omslag och titel inte matchar är det titeln som gäller

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition

Pris
DKK 834,43

Beställningsvara

Förväntad leverans 30 dec - 7 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.


840 pages, 1, black & white illustrations

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 26 oktober 2009
ISBN13 9783642050886
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 820
Mått 155 × 235 × 42 mm   ·   1,16 kg
Språk Franska  
Redaktör Cavalcanti, Ana
Redaktör Dams, Dennis