Livres sur le sujet « Model and Program Verification »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Model and Program Verification ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.
Dampier, David A. A model for merging software prototypes. Monterey, Calif : Naval Postgraduate School, 1992.
Trouver le texte intégralGeorge, Sabolish, et United States. National Aeronautics and Space Administration., dir. A process improvement model for software verification and validation. [Morgantown, West Va.] : West Virginia University, 1994.
Trouver le texte intégralLarsen, Gunner C. Verification of Design Basis Program 2 : A coupled aeroelastic wind turbine model. Roskilde, Denmark : Risø National Laboratory, 1994.
Trouver le texte intégralU.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research, dir. The development and verification of TRACE model for IIST experiments. Washington, DC : Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 2011.
Trouver le texte intégralVMCAI 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.
Trouver le texte intégralFrancesco, Logozzo, Peled Doron 1962- et Zuck Lenore D. 1958-, dir. Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings. Berlin : Springer, 2008.
Trouver le texte intégralCenter, Langley Research, dir. A verification procedure for MSC/NASTRAN finite element models. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 1995.
Trouver le texte intégralVMCAI 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.
Trouver le texte intégralRoever, W. P. de. Data refinement : Model-oriented proof methods and their comparison. Cambridge : Cambridge University Press, 2009.
Trouver le texte intégralVMCAI 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.
Trouver le texte intégralCenter, Langley Research, dir. Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 1995.
Trouver le texte intégralCenter, Langley Research, dir. Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 1995.
Trouver le texte intégralHana, Chockler, et Hu, Alan J. (Alan John), dir. Hardware and software : Verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings. Berlin : Springer, 2009.
Trouver le texte intégralDavid, 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.
Trouver le texte intégralB, Gatski T., et NASA Glenn Research Center, dir. Summary of EASM turbulence models in CFL3D with validation test cases. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 2003.
Trouver le texte intégralVMCAI 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.
Trouver le texte intégralGiacobazzi, 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.
Trouver le texte intégralJhala, 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.
Trouver le texte intégralCenter, Langley Research, dir. Measurement-based reliability/performability models. [Hampton, VA : Langley Research Ctr., 1987.
Trouver le texte intégralCenter, Langley Research, dir. Measurement-based reliability/performability models. [Hampton, VA : Langley Research Ctr., 1987.
Trouver le texte intégralCenter, Langley Research, dir. Measurement-based reliability/performability models. [Hampton, VA : Langley Research Ctr., 1987.
Trouver le texte intégralCenter, Langley Research, dir. Measurement-based reliability/performability models. [Hampton, VA : Langley Research Ctr., 1987.
Trouver le texte intégralNamjoshi, 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.
Trouver le texte intégralVMCAI 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.
Trouver le texte intégralVMCAI 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.
Trouver le texte intégral1925-, Georgiadis Nicholas, Smith Crawford F et United States. National Aeronautics and Space Administration., dir. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC] : National Aeronautics and Space Administration, 1995.
Trouver le texte intégralJ, Georgiadis Nicholas, Smith Crawford F et United States. National Aeronautics and Space Administration., dir. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC] : National Aeronautics and Space Administration, 1995.
Trouver le texte intégralKuncak, 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.
Trouver le texte intégralDonaldson, Alastair. Model Checking Software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Trouver le texte intégralJ, Hall Edward, Delaney Robert A et Lewis Research Center, dir. Follow-on low noise fan aerodynamic study : Task 15-final report. [Cleveland, Ohio] : National Aeronautics and Space Administration, Lewis Research Center, 1999.
Trouver le texte intégralJ, Hall Edward, Delaney R. A et Lewis Research Center, dir. Follow-on low noise fan aerodynamic study : Task 15-final report. [Cleveland, Ohio] : National Aeronautics and Space Administration, Lewis Research Center, 1999.
Trouver le texte intégralJ, Hall Edward, Delaney Robert A et Lewis Research Center, dir. Follow-on low noise fan aerodynamic study : Task 15-final report. [Cleveland, Ohio] : National Aeronautics and Space Administration, Lewis Research Center, 1999.
Trouver le texte intégralColburn, Timothy R., James H. Fetzer et Terry L. Rankin, dir. Program Verification. Dordrecht : Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-1793-7.
Texte intégralProgram verification. Wokingham, Eng : Addison-Wesley Pub. Co., 1992.
Trouver le texte intégralCanada. Dept. of External Affairs., dir. Verification research : Canada's Verification Research Program. Ottawa, Ont : External Affairs Canada, 1988.
Trouver le texte intégralUnited States. Environmental Protection Agency. Office of Research and Development., dir. Environmental Technology Verification Program : Verification strategy. Washington, DC : Office of Research and Development, U.S. Environmental Protection Agency, 1997.
Trouver le texte intégralC, Dudek Julianne, Tierney Thomas P et United States. National Aeronautics and Space Administration., dir. Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations. [Washington, DC] : National Aeronautics and Space Administration, 1995.
Trouver le texte intégralPace, Kyongsuk P. FNMOC model verification system. Monterey, Calif : Naval Postgraduate School, 1998.
Trouver le texte intégral1966-, Engelhardt Kai, et Buth Karl-Heinz, dir. Data refinement : Model-oriented proof methods and their comparison. Cambridge, UK : Cambridge University Press, 1998.
Trouver le texte intégralBackhouse, Roland C. Program construction and verification. Englewood Cliffs, N.J : Prentice-Hall International, 1986.
Trouver le texte intégralLoeckx, Jacques, et Kurt Sieber. The Foundations of Program Verification. Wiesbaden : Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-96753-4.
Texte intégralKurt, Sieber, et Stansifer Ryan D, dir. The foundations of program verification. 2e éd. Stuttgart : B.G. Teubner, 1987.
Trouver le texte intégralLoeckx, Jacques. The foundations of program verification. 2e éd. Stuttgart : Teubner, 1987.
Trouver le texte intégralFinkbeiner, Bernd, et Thomas Wies, dir. Verification, Model Checking, and Abstract Interpretation. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-94583-1.
Texte intégralCortesi, Agostino, dir. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47813-2.
Texte intégralEnea, Constantin, et Ruzica Piskac, dir. Verification, Model Checking, and Abstract Interpretation. Cham : Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-11245-5.
Texte intégralMcMillan, Kenneth L., et Xavier Rival, dir. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg : Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54013-4.
Texte intégralKuncak, Viktor, et Andrey Rybalchenko, dir. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27940-9.
Texte intégralZuck, Lenore D., Paul C. Attie, Agostino Cortesi et Supratik Mukhopadhyay, dir. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36384-x.
Texte intégralBeyer, Dirk, et Damien Zufferey, dir. Verification, Model Checking, and Abstract Interpretation. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-39322-9.
Texte intégral