Gå direkt till innehållet
NASA Formal Methods
Spara

NASA Formal Methods

Lägsta pris på PriceRunner
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.
Undertitel
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
ISBN
9783642203978
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-04-06
Sidor
534