NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings /
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Berlín, Alemania :
Springer,
2011, c2011
|
| Cyfres: | (Lecture Notes in Computer Science)
|
| Mynediad Ar-lein: | Ver documento en línea |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg: NASA Formal Methods :
- NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings /
- NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
- NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /
- FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /
- NASA : Triumphs and Tragedies : 50 Years of Space Exploration : Satellite Repairs ; Challenger, Disaster and Investigation ; Nasa, The 25th Year /
- Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings /