القنوات - NASA Formal Methods : :: Biblioteca ITESO

مواد مشابهة: 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 /
نظرة سريعة
NASA : abriendo nuevas fronteras : los vuelos orbitales del sistema de transporte espacial /
نظرة سريعة
NASA, 25 years : the greatest show in space /
نظرة سريعة
Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings /
نظرة سريعة
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings /
نظرة سريعة
FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
نظرة سريعة
Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
نظرة سريعة
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
نظرة سريعة
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 /
نظرة سريعة
NASA, 25 Years : The Greatest Show in Space : Challenger, Disaster and Investigation /
نظرة سريعة
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 /
نظرة سريعة
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 /
نظرة سريعة
NASA, 25 Years : The Greatest Show in Space : Freedom 7 ; The Voyage of Friendship 7 /
نظرة سريعة
NASA, 25 Years : The Greatest Show in Space : Opening New Frontiers ; We Deliver /
نظرة سريعة
NASA, 25 Years : The Greatest Show in Space : Launch and Retrieval of Satellites ; Satellite Repairs /
نظرة سريعة
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 /
نظرة سريعة
Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
نظرة سريعة
Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures /
نظرة سريعة
NASA, 25 Years : The Greatest Show in Space : Apollo 17, On the Shoulders of Giants ; The Mission of Apollo-Soyuz /
نظرة سريعة
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

المؤلف: Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi

نظرة سريعة
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