Fortell venner om denne varen:
Ana Cavalcanti
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition Ana Cavalcanti
Pris
₪ 397
Bestillingsvarer
Forventes levert 2. - 11. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science
Ana Cavalcanti
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 |
Se alt med Ana Cavalcanti ( f.eks. Pocketbok )