Bücher zum Thema „Computer software Verification“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Bücher für die Forschung zum Thema "Computer software Verification" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
1943-, Kurshan R. P., Hrsg. Computer-aided verification. Boston: Kluwer Academic Publishers, 1992.
Nissim, Francez. Program verification. Wokingham, Eng: Addison-Wesley Pub. Co., 1992.
Nachum, Dershowitz, und Manna Zohar, Hrsg. Verification: Theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday. Berlin: Springer-Verlag, 2004.
Apt, Krzysztof R. Verification of sequential and concurrent programs. New York: Springer-Verlag, 1991.
Apt, Krzysztof R. Verification of sequential and concurrent programs. 2. Aufl. New York: Springer-Verlag, 1997.
1952-, Colburn Timothy R., Fetzer James H. 1940- und Rankin Terry L, Hrsg. Program verification: Fundamental issues in computer science. Dordrecht: Kluwer Academic Publishers, 1993.
Almeida, José Bacelar. Rigorous software development: An introduction to program verification. London: Springer, 2011.
Bergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Boston, MA: Springer US, 1997.
Jean-Michel, Bergé, Levia Oz und Rouillard Jacques, Hrsg. Hardware/software co-design and co-verification. Boston: Kluwer Academic Publishers, 1997.
Hoare, C. A. R., M. Broy und Christian Leuxner. Software and systems safety: Specification and verification. Amsterdam: IOS Press, 2011.
Helgeson, John W. The software audit guide. Milwaukee, Wis: ASQ Quality Press, 2009.
Summers, Boyd L. Software engineering reviews and audits. Boca Raton: CRC Press/Auerbach Publications, 2011.
Quirk, William J. Verification and Validation of Real-Time Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.
Apt, Krzysztof R. Verification of sequential and concurrent programs. 3. Aufl. Dordrecht: Springer, 2009.
Manna, Zohar. Temporal verification of reactive systems: Safety. New York: Springer, 1995.
International Haifa Verification Conference (3rd 2007 Haifa, Israel). Hardware and software, verification and testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings. Berlin: Springer, 2008.
Hollocker, Charles P. Software reviews and audits handbook. New York: Wiley, 1990.
Ben-Ari, M. Principles of the Spin model checker. London: Springer, 2008.
Glasser, Mark. Open Verification Methodology Cookbook. New York, NY: Mentor Graphics Corporation, 2009.
National Bureau of Standards. Guideline for software verification and validation plans. Gaithersburg, MD: U.S. Dept. of Commerce/National Bureau of Standards, 1987.
Rakitin, Steven R. Software verification and validation: A practitioner's guide. Boston: Artech House, 1997.
Colburn, Timothy R. Program Verification: Fundamental Issues in Computer Science. Dordrecht: Springer Netherlands, 1993.
Wallace, Dolores R. Software verification and validation: Its role in computer assurance and its relationship with software projectmanagement standards. Washington, D.C: National Institute of Standards and Technology, 1989.
Apt, Krzysztof R. Verification of Sequential and Concurrent Programs. New York, NY: Springer New York, 1991.
CAV (Conference) 19th 2007 Berlin, Germany). Computer aided verification: 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings. Berlin: Springer, 2007.
Stavely, Allan M. Toward zero-defect programming. Reading, Mass: Addison-Wesley, 1999.
Wallace, Dolores R. Software verification and validation: Its role in computer assurance and its relationship with software project management standards. Gaithersburg, MD: U.S. Dept. of Commerce, National Institute of Standards and Technology, 1989.
Dill, D. L. Computer Aided Verification. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1994.
Lettnin, Djones, und Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2018.
Lettnin, Djones, und Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2016.
Lettnin, Djones, und Markus Winterholer. Embedded Software Verification and Debugging. Markus Winterholer, 2017.
Alt, RenT. Numerical Software with Result Verification. Springer, 2004.
M, Shagnea Anita, Hayhurst Kelly J und Langley Research Center, Hrsg. Software Verification Plan for GCS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1990.
Computer Aided Verification 24th International Conference. Springer, 2012.
Garoche, Pierre-Loïc. Formal Verification of Control System Software. Princeton University Press, 2019. http://dx.doi.org/10.23943/princeton/9780691181301.001.0001.
Dershowitz, Nachum. Verification: Theory and Practice. Springer, 2004.
Almeida, José Bacelar, Maria João Frade und Jorge Sousa Pinto. Rigorous Software Development. Springer, 2011.
Bultan, Tevfik, Fang Yu, Muath Alkhalaf und Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2018.
Bultan, Tevfik, Fang Yu, Muath Alkhalaf und Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2019.
Dasso, Aristides. Verification, Validation and Testing in Software Engineering. Idea Group Publishing, 2007.
Bidoit, M., A. Finkel, B. Berard, F. Laroussinie, A. Petit, L. Petrucci und P. Schnoebelen. Systems and Software Verification: Model-Checking Techniques and Tools. Springer, 2001.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2013.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.
Birchall, S. Invoice Verification for SAP R/3. SAP Press, 2006.
Software Verification And Analysis An Integrated Handson Approach. Springer, 2009.
Summers, Boyd L. Software Engineering Reviews and Audits. Auerbach Publishers, Incorporated, 2011.
Summers, Boyd L. Software Engineering Reviews and Audits. Taylor & Francis Group, 2019.