NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science - Mihaela Bobaru - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642203978 - keskiviikko 6. huhtikuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Mihaela Bobaru

Hinta
Mex$ 1.333,20

Tilattu etävarastosta

Arvioitu toimitus to 23. loka - ma 3. marras

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 6. huhtikuuta 2011
ISBN13 9783642203978
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 534
Mitta 155 × 235 × 30 mm   ·   816 g
Kieli French  
Toimittaja Bobaru, Mihaela
Toimittaja Havelund, Klaus
Toimittaja Holzmann, Gerard
Toimittaja Joshi, Rajeev

Katso kaikki joka sisältää Mihaela Bobaru ( Esim. Paperback Book )