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

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

Mihaela Bobaru

Pris
DKK 520

Bestilles fra fjernlager

Forventes klar til forsendelse 16. - 23. okt.

Vores kunder siger:

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

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

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 )