NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science - Mihaela Bobaru - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642203978 - 6. april 2011
Ved uoverensstemmelse mellem cover og titel gælder titel

Mihaela Bobaru
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science

Pris
CA$ 115,61

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 11. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.

534 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 6. april 2011
ISBN13 9783642203978
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 534
Mål 155 × 235 × 30 mm   ·   816 g
Sprog Fransk  
Klipper/redaktør Bobaru, Mihaela
Klipper/redaktør Havelund, Klaus
Klipper/redaktør Holzmann, Gerard
Klipper/redaktør Joshi, Rajeev

Se alt med Mihaela Bobaru ( f.eks. Paperback Bog )