NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science - Mihaela Bobaru - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642203978 - 2011. gada 6. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 63,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 15. - 29. sept.
Saņemiet paziņojumus par jauniem Mihaela Bobaru izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2011. gada 6. aprīlis
ISBN13 9783642203978
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 534
Izmēri 155 × 235 × 30 mm   ·   816 g
Valoda Franču  
Redaktors Bobaru, Mihaela
Redaktors Havelund, Klaus
Redaktors Holzmann, Gerard
Redaktors Joshi, Rajeev

Vairāk no tā paša izdevēja

Skatīt visus Mihaela Bobaru