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

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

Mihaela Bobaru

Pris
NOK 659

Bestillingsvarer

Forventes levert 31. okt - 11. nov

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 6. april 2011
ISBN13 9783642203978
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 534
Mål 155 × 235 × 30 mm   ·   816 g
Språk Fransk  
Redaktør Bobaru, Mihaela
Redaktør Havelund, Klaus
Redaktør Holzmann, Gerard
Redaktør Joshi, Rajeev

Se alt med Mihaela Bobaru ( f.eks. Pocketbok )