FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science - Ana Cavalcanti - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642050886 - 26. oktober 2009
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Ana Cavalcanti

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

Pris
₪ 397

Bestillingsvarer

Forventes levert 2. - 11. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
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øker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 26. oktober 2009
ISBN13 9783642050886
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 820
Mål 155 × 235 × 42 mm   ·   1,16 kg
Språk Fransk  
Redaktør Cavalcanti, Ana
Redaktør Dams, Dennis