Libros sobre el tema "Model and Program Verification"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores mejores libros para su investigación sobre el tema "Model and Program Verification".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Dampier, David A. A model for merging software prototypes. Monterey, Calif: Naval Postgraduate School, 1992.
Buscar texto completoGeorge, Sabolish y United States. National Aeronautics and Space Administration., eds. A process improvement model for software verification and validation. [Morgantown, West Va.]: West Virginia University, 1994.
Buscar texto completoLarsen, Gunner C. Verification of Design Basis Program 2: A coupled aeroelastic wind turbine model. Roskilde, Denmark: Risø National Laboratory, 1994.
Buscar texto completoU.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research, ed. The development and verification of TRACE model for IIST experiments. Washington, DC: Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 2011.
Buscar texto completoVMCAI 2004 (Conference) (2004 Venice, Italy). Verification, model checking, and abstract interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings. Berlin: Springer, 2004.
Buscar texto completoFrancesco, Logozzo, Peled Doron 1962- y Zuck Lenore D. 1958-, eds. Verification, model checking, and abstract interpretation: 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings. Berlin: Springer, 2008.
Buscar texto completoCenter, Langley Research, ed. A verification procedure for MSC/NASTRAN finite element models. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Buscar texto completoAgostino, Cortesi, ed. Verification, model checking, and abstract interpretation: Third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers. Berlin: Springer, 2002.
Buscar texto completoRoever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge: Cambridge University Press, 2009.
Buscar texto completoRadhia, Cousot, ed. Verification, model checking, and abstract interpretation: 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings. Berlin: Springer, 2005.
Buscar texto completoCenter, Langley Research, ed. Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Buscar texto completoCenter, Langley Research, ed. Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Buscar texto completoHana, Chockler y Hu, Alan J. (Alan John), eds. Hardware and software: Verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings. Berlin: Springer, 2009.
Buscar texto completoDavid, Hutchison. Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Buscar texto completoB, Gatski T. y NASA Glenn Research Center, eds. Summary of EASM turbulence models in CFL3D with validation test cases. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 2003.
Buscar texto completoVMCAI 2010 (2010 Madrid, Spain). Verification, model checking, and abstract interpretation: 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings. Berlin: Springer, 2010.
Buscar texto completoGiacobazzi, Roberto. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Buscar texto completoJhala, Ranjit. Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Buscar texto completoCenter, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Buscar texto completoCenter, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Buscar texto completoCenter, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Buscar texto completoCenter, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Buscar texto completoNamjoshi, Kedar S. Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Buscar texto completoVMCAI 2004 (2004 Venice, Italy). Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings. New York: Springer, 2004.
Buscar texto completoVMCAI 2004 (2004 Venice, Italy). Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 ; proceedings. Berlin: Springer, 2004.
Buscar texto completo1925-, Georgiadis Nicholas, Smith Crawford F y United States. National Aeronautics and Space Administration., eds. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Buscar texto completoJ, Georgiadis Nicholas, Smith Crawford F y United States. National Aeronautics and Space Administration., eds. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Buscar texto completoKuncak, Viktor. Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Buscar texto completoDonaldson, Alastair. Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Buscar texto completoJ, Hall Edward, Delaney Robert A y Lewis Research Center, eds. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.
Buscar texto completoJ, Hall Edward, Delaney R. A y Lewis Research Center, eds. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.
Buscar texto completoJ, Hall Edward, Delaney Robert A y Lewis Research Center, eds. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.
Buscar texto completoColburn, Timothy R., James H. Fetzer y Terry L. Rankin, eds. Program Verification. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-1793-7.
Texto completoProgram verification. Wokingham, Eng: Addison-Wesley Pub. Co., 1992.
Buscar texto completoCanada. Dept. of External Affairs., ed. Verification research: Canada's Verification Research Program. Ottawa, Ont: External Affairs Canada, 1988.
Buscar texto completoUnited States. Environmental Protection Agency. Office of Research and Development., ed. Environmental Technology Verification Program: Verification strategy. Washington, DC: Office of Research and Development, U.S. Environmental Protection Agency, 1997.
Buscar texto completoC, Dudek Julianne, Tierney Thomas P y United States. National Aeronautics and Space Administration., eds. Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Buscar texto completoPace, Kyongsuk P. FNMOC model verification system. Monterey, Calif: Naval Postgraduate School, 1998.
Buscar texto completo1966-, Engelhardt Kai y Buth Karl-Heinz, eds. Data refinement: Model-oriented proof methods and their comparison. Cambridge, UK: Cambridge University Press, 1998.
Buscar texto completoBackhouse, Roland C. Program construction and verification. Englewood Cliffs, N.J: Prentice-Hall International, 1986.
Buscar texto completoLoeckx, Jacques y Kurt Sieber. The Foundations of Program Verification. Wiesbaden: Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-96753-4.
Texto completoKurt, Sieber y Stansifer Ryan D, eds. The foundations of program verification. 2a ed. Stuttgart: B.G. Teubner, 1987.
Buscar texto completoLoeckx, Jacques. The foundations of program verification. 2a ed. Stuttgart: Teubner, 1987.
Buscar texto completoFinkbeiner, Bernd y Thomas Wies, eds. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-94583-1.
Texto completoCortesi, Agostino, ed. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47813-2.
Texto completoEnea, Constantin y Ruzica Piskac, eds. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-11245-5.
Texto completoMcMillan, Kenneth L. y Xavier Rival, eds. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54013-4.
Texto completoKuncak, Viktor y Andrey Rybalchenko, eds. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27940-9.
Texto completoZuck, Lenore D., Paul C. Attie, Agostino Cortesi y Supratik Mukhopadhyay, eds. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36384-x.
Texto completoBeyer, Dirk y Damien Zufferey, eds. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-39322-9.
Texto completo