Livros sobre o tema "Model and Program Verification"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores livros para estudos sobre o assunto "Model and Program Verification".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os livros das mais diversas áreas científicas e compile uma bibliografia correta.
Dampier, David A. A model for merging software prototypes. Monterey, Calif: Naval Postgraduate School, 1992.
Encontre o texto completo da fonteGeorge, Sabolish, e United States. National Aeronautics and Space Administration., eds. A process improvement model for software verification and validation. [Morgantown, West Va.]: West Virginia University, 1994.
Encontre o texto completo da fonteLarsen, Gunner C. Verification of Design Basis Program 2: A coupled aeroelastic wind turbine model. Roskilde, Denmark: Risø National Laboratory, 1994.
Encontre o texto completo da fonteU.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.
Encontre o texto completo da fonteVMCAI 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.
Encontre o texto completo da fonteFrancesco, Logozzo, Peled Doron 1962- e 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.
Encontre o texto completo da fonteCenter, Langley Research, ed. A verification procedure for MSC/NASTRAN finite element models. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Encontre o texto completo da fonteVMCAI 2002 (2002 Venice, Italy). Verification, model checking, and abstract interpretation: Third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers. Berlin: Springer, 2002.
Encontre o texto completo da fonteRoever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge: Cambridge University Press, 2009.
Encontre o texto completo da fonteVMCAI 2005 (2005 Paris, France). Verification, model checking, and abstract interpretation: 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings. Berlin: Springer, 2005.
Encontre o texto completo da fonteCenter, 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.
Encontre o texto completo da fonteCenter, 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.
Encontre o texto completo da fonteHana, Chockler, e 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.
Encontre o texto completo da fonteDavid, 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.
Encontre o texto completo da fonteB, Gatski T., e 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.
Encontre o texto completo da fonteVMCAI 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.
Encontre o texto completo da fonteGiacobazzi, 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.
Encontre o texto completo da fonteJhala, 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.
Encontre o texto completo da fonteCenter, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Encontre o texto completo da fonteCenter, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Encontre o texto completo da fonteCenter, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Encontre o texto completo da fonteCenter, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Encontre o texto completo da fonteNamjoshi, 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.
Encontre o texto completo da fonteVMCAI 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.
Encontre o texto completo da fonteVMCAI 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.
Encontre o texto completo da fonte1925-, Georgiadis Nicholas, Smith Crawford F e 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.
Encontre o texto completo da fonteJ, Georgiadis Nicholas, Smith Crawford F e 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.
Encontre o texto completo da fonteKuncak, 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.
Encontre o texto completo da fonteDonaldson, Alastair. Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Encontre o texto completo da fonteJ, Hall Edward, Delaney Robert A e 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.
Encontre o texto completo da fonteJ, Hall Edward, Delaney R. A e 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.
Encontre o texto completo da fonteJ, Hall Edward, Delaney Robert A e 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.
Encontre o texto completo da fonteColburn, Timothy R., James H. Fetzer e Terry L. Rankin, eds. Program Verification. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-1793-7.
Texto completo da fonteProgram verification. Wokingham, Eng: Addison-Wesley Pub. Co., 1992.
Encontre o texto completo da fonteCanada. Dept. of External Affairs., ed. Verification research: Canada's Verification Research Program. Ottawa, Ont: External Affairs Canada, 1988.
Encontre o texto completo da fonteUnited 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.
Encontre o texto completo da fonteC, Dudek Julianne, Tierney Thomas P e 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.
Encontre o texto completo da fontePace, Kyongsuk P. FNMOC model verification system. Monterey, Calif: Naval Postgraduate School, 1998.
Encontre o texto completo da fonte1966-, Engelhardt Kai, e Buth Karl-Heinz, eds. Data refinement: Model-oriented proof methods and their comparison. Cambridge, UK: Cambridge University Press, 1998.
Encontre o texto completo da fonteBackhouse, Roland C. Program construction and verification. Englewood Cliffs, N.J: Prentice-Hall International, 1986.
Encontre o texto completo da fonteLoeckx, Jacques, e Kurt Sieber. The Foundations of Program Verification. Wiesbaden: Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-96753-4.
Texto completo da fonteKurt, Sieber, e Stansifer Ryan D, eds. The foundations of program verification. 2a ed. Stuttgart: B.G. Teubner, 1987.
Encontre o texto completo da fonteLoeckx, Jacques. The foundations of program verification. 2a ed. Stuttgart: Teubner, 1987.
Encontre o texto completo da fonteFinkbeiner, Bernd, e 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 completo da fonteCortesi, 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 completo da fonteEnea, Constantin, e 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 completo da fonteMcMillan, Kenneth L., e 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 completo da fonteKuncak, Viktor, e 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 completo da fonteZuck, Lenore D., Paul C. Attie, Agostino Cortesi e 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 completo da fonteBeyer, Dirk, e 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 da fonte