Name: NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
SKU: 9783642203978
Price: 51.10 EUR
Availability: BackOrder

NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

51,10 €

Springer
Sivumäärä: 534 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2011, 06.04.2011 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 6617

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.

LISÄÄ OSTOSKORIIN

Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.

Myymäläsaatavuus