Channels - NASA Formal Methods : :: Biblioteca ITESO

Lignende værker: NASA Formal Methods :

Quick Look
NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings /
Quick Look
NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Quick Look
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /
Quick Look
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /
Quick Look
NASA : Triumphs and Tragedies : 50 Years of Space Exploration : Satellite Repairs ; Challenger, Disaster and Investigation ; Nasa, The 25th Year /
Quick Look
NASA : abriendo nuevas fronteras : los vuelos orbitales del sistema de transporte espacial /
Quick Look
NASA, 25 years : the greatest show in space /
Quick Look
Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings /
Quick Look
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings /
Quick Look
FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
Quick Look
Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
Quick Look
NASA : Triumphs and Tragedies : 50 Years of Space Exploration : Skylab, The First 40 Days ; Four Rooms, Earth View ; Opening New Frontiers ; We Deliver ; Launch and Retrieval of Satellites /
Quick Look
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Quick Look
NASA, 25 Years : The Greatest Show in Space : Challenger, Disaster and Investigation /
Quick Look
NASA : Triumphs and Tragedies : 50 Years of Space Exploration : Freedom 7 ; The Voyage of Friendship 7 ; The Four Days of Gemini 4 ; Gemini VIII, This Is Houston Flight ; Apolo 11, The Eagle Has Landed /
Quick Look
NASA : Triumphs and Tragedies : 50 Years of Space Exploration : Living in Space ; Eyes in the Sky ; One American Legend ; Looking for Creation ; Where No Man Has Gone ; The Story of Columbia ; Epilogue, A Look into the Future /
Quick Look
NASA, 25 Years : The Greatest Show in Space : Freedom 7 ; The Voyage of Friendship 7 /
Quick Look
NASA, 25 Years : The Greatest Show in Space : Opening New Frontiers ; We Deliver /
Quick Look
NASA, 25 Years : The Greatest Show in Space : Launch and Retrieval of Satellites ; Satellite Repairs /
Quick Look
NASA : Triumphs and Tragedies : 50 Years of Space Exploration : Apollo 13, Houston We've Got a Problem ; Apollo 15, In the Mountains of the Moon ; Apollo 16, Nothing so Hidden ; Apollo 17, On the Shoulders of Giants ; The Mission of Apollo-Soyuz /
Quick Look
Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
Quick Look
NASA, 25 Years : The Greatest Show in Space : Apollo 17, On the Shoulders of Giants ; The Mission of Apollo-Soyuz /
Quick Look
NASA, 25 Years : The Greatest Show in Space : The Four Days of Gemini 4 ; Gemini VIII, This Is Houston Flight /
Quick Look
NASA, 25 Years : The Greatest Show in Space : Skylab: The First 40 Days ; Four Rooms, Earth View /

Forfatter: Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi

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

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0