Bücher zum Thema „Software analysis and 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 "Software analysis and 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.
Stanley, William, und Janusz Laski. Software Verification and Analysis. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-240-5.
Der volle Inhalt der QuelleBultan, Tevfik, Fang Yu, Muath Alkhalaf und Abdulbaki Aydin. String Analysis for Software Verification and Security. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68670-7.
Der volle Inhalt der QuelleGermany) NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 Bayrischzell. Software safety and security: Tools for analysis and verification. Amsterdam: IOS Press published in cooperation with NATO Emerging Security Challenges Division, 2012.
Den vollen Inhalt der Quelle findenKhedker, Uday. Data flow analysis: Theory and practice. Boca Raton, Fla: Taylor & Francis, 2009.
Den vollen Inhalt der Quelle findenSymposium on Testing, Analysis, and Verification (1991 Victoria, B.C.). Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4): Victoria, British Columbia, October 8-10, 1991. New York: ACM Press, 1991.
Den vollen Inhalt der Quelle findenClarke, Dave. Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Den vollen Inhalt der Quelle findenSymposium on Software Testing, Analysis, and Verification (3rd 1989 Key West, Fla.). Proceedings of the ACM SIGSOFT '89: Third Symposium on Software Testing, Analysis, and Verification (TAV3), Key West, Florida, December 13-15, 1989 / edited by Richard A. Kemmerer. New York: ACM Press, 1989.
Den vollen Inhalt der Quelle findenZeljko, Zilic, Hrsg. Verification by error modeling: Using testing techniques in hardware verification. Boston: Kluwer Academic Publishers, 2003.
Den vollen Inhalt der Quelle findenBouajjani, Ahmed. Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin, Heidelberg: Springer-Verlag Heidelberg, 2010.
Den vollen Inhalt der Quelle findenSungdeok, Cha, Hrsg. Automated technology for verification and analysis: 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings. Berlin: Springer, 2008.
Den vollen Inhalt der Quelle findenSiegler, Simon. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
Den vollen Inhalt der Quelle findenMadhavan, Mukund, und SpringerLink (Online service), Hrsg. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Den vollen Inhalt der Quelle findenR, Valk, Hrsg. Petri nets for systems engineering: A guide to modeling, verification, and applications. Berlin: Springer, 2003.
Den vollen Inhalt der Quelle findenKambiz, Salari, Hrsg. Verification of computer codes in computational science and engineering. Boca Raton, Fla: Chapman & Hall/CRC Press, 2003.
Den vollen Inhalt der Quelle findenKoushik, Sen, und SpringerLink (Online service), Hrsg. Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Den vollen Inhalt der Quelle findenAndrey, Rybalchenko, und SpringerLink (Online service), Hrsg. 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.
Den vollen Inhalt der Quelle findenChang, Yu-Ming. UNIX-based operating systems robustness evaluation. [Urbana, Ill.]: Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1996.
Den vollen Inhalt der Quelle findenChang, Yu-Ming. UNIX-based operating systems robustness evaluation. [Urbana, Ill.]: Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1996.
Den vollen Inhalt der Quelle findenChristakis, Maria, Nadia Polikarpova, Parasara Sridhar Duggirala und Peter Schrammel, Hrsg. Software Verification. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63618-0.
Der volle Inhalt der QuelleSchirner, Gunar. Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Den vollen Inhalt der Quelle findenAsian TEAM Workshop (1992 Thousand-Island Lake, China). Verification of softwares for 3-D electromagnetic field analysis: Asian TEAM Workshop, Thousand-Island Lake, China, October 18-19, 1992 : proceedings. Beijing, China: International Academic Publishers, 1993.
Den vollen Inhalt der Quelle findenZamani, Majid, und Damien Zufferey, Hrsg. Numerical Software Verification. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-28423-7.
Der volle Inhalt der QuelleBogomolov, Sergiy, Matthieu Martel und Pavithra Prabhakar, Hrsg. Numerical Software Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-54292-8.
Der volle Inhalt der QuelleAbate, Alessandro, und Sylvie Boldo, Hrsg. Numerical Software Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63501-9.
Der volle Inhalt der QuelleBérard, Béatrice, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen und Pierre McKenzie. Systems and Software Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-04558-9.
Der volle Inhalt der QuelleSiegler, Simon, und Nathan Wasser, Hrsg. Verification, Induction, Termination Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-17172-7.
Der volle Inhalt der QuelleJérôme, Leroux, Potapov Igor und SpringerLink (Online service), Hrsg. Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Den vollen Inhalt der Quelle findenLettnin, Djones, und Markus Winterholer, Hrsg. Embedded Software Verification and Debugging. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4614-2266-2.
Der volle Inhalt der QuelleAlagić, Suad. Software Engineering: Specification, Implementation, Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61518-9.
Der volle Inhalt der QuelleAhrendt, Wolfgang, Bernhard Beckert, Richard Bubel, Reiner Hähnle und Mattias Ulbrich, Hrsg. Deductive Software Verification: Future Perspectives. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-64354-6.
Der volle Inhalt der QuelleAlt, René, Andreas Frommer, R. Baker Kearfott und Wolfram Luther, Hrsg. Numerical Software with Result Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b96498.
Der volle Inhalt der QuellePetrinja, Etiel, Giancarlo Succi, Nabil El Ioini und Alberto Sillitti, Hrsg. Open Source Software: Quality Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38928-3.
Der volle Inhalt der QuelleMeyer, Bertrand, und Martin Nordio, Hrsg. Tools for Practical Software Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-35746-6.
Der volle Inhalt der QuelleMeyer, Bertrand, und Martin Nordio, Hrsg. Empirical Software Engineering and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-25231-0.
Der volle Inhalt der QuelleProgram verification. Wokingham, Eng: Addison-Wesley Pub. Co., 1992.
Den vollen Inhalt der Quelle findenPeng, Wendy W. Software error analysis. Gaithersburg, MD: U.S. Dept. of Commerce, National Institute of Standards and Technology, 1993.
Den vollen Inhalt der Quelle findenPeng, Wendy W. Software error analysis. Summit, N.J: Silicon Press, 1995.
Den vollen Inhalt der Quelle findenHughes, Roger Brett. Automated interactive software verification and synthesis. Uxbridge: Brunel University, 1992.
Den vollen Inhalt der Quelle findenBarner, Sharon, Ian Harris, Daniel Kroening und Orna Raz, Hrsg. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19583-9.
Der volle Inhalt der QuelleAhrendt, Wolfgang, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt und Mattias Ulbrich, Hrsg. Deductive Software Verification – The KeY Book. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49812-6.
Der volle Inhalt der QuelleBiere, Armin, Amir Nahir und Tanja Vos, Hrsg. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39611-3.
Der volle Inhalt der QuellePiterman, Nir, Hrsg. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-26287-1.
Der volle Inhalt der QuelleBeckert, Bernhard, Ferruccio Damiani und Dilian Gurov, Hrsg. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31762-0.
Der volle Inhalt der QuelleYorav, Karen, Hrsg. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-77966-7.
Der volle Inhalt der QuelleBeckert, Bernhard, und Claude Marché, Hrsg. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18070-5.
Der volle Inhalt der QuelleAlt, RenT. Numerical Software with Result Verification. Springer, 2004.
Den vollen Inhalt der Quelle findenBultan, Tevfik, Fang Yu, Muath Alkhalaf und Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2019.
Den vollen Inhalt der Quelle findenBultan, Tevfik, Fang Yu, Muath Alkhalaf und Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2018.
Den vollen Inhalt der Quelle findenSoftware Verification And Analysis An Integrated Handson Approach. Springer, 2009.
Den vollen Inhalt der Quelle findenWilliam, Stanley, und Janusz Laski. Software Verification and Analysis: An Integrated, Hands-On Approach. Springer, 2010.
Den vollen Inhalt der Quelle finden