Książki na temat „Software verification”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Software verification”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
Bloem, Roderick, Rayna Dimitrova, Chuchu Fan i Natasha Sharygina, red. Software Verification. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-95561-8.
Pełny tekst źródłaChristakis, Maria, Nadia Polikarpova, Parasara Sridhar Duggirala i Peter Schrammel, red. Software Verification. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63618-0.
Pełny tekst źródłaAbate, Alessandro, i Sylvie Boldo, red. Numerical Software Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63501-9.
Pełny tekst źródłaZamani, Majid, i Damien Zufferey, red. Numerical Software Verification. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-28423-7.
Pełny tekst źródłaBogomolov, Sergiy, Matthieu Martel i Pavithra Prabhakar, red. Numerical Software Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-54292-8.
Pełny tekst źródłaStanley, William, i Janusz Laski. Software Verification and Analysis. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-240-5.
Pełny tekst źródłaBérard, Béatrice, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen i Pierre McKenzie. Systems and Software Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-04558-9.
Pełny tekst źródłaArceri, Vincenzo, Agostino Cortesi, Pietro Ferrara i Martina Olliaro, red. Challenges of Software Verification. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-19-9601-6.
Pełny tekst źródłaPetrinja, Etiel, Giancarlo Succi, Nabil El Ioini i Alberto Sillitti, red. Open Source Software: Quality Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38928-3.
Pełny tekst źródłaMeyer, Bertrand, i Martin Nordio, red. Empirical Software Engineering and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-25231-0.
Pełny tekst źródłaAhrendt, Wolfgang, Bernhard Beckert, Richard Bubel, Reiner Hähnle i Mattias Ulbrich, red. Deductive Software Verification: Future Perspectives. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-64354-6.
Pełny tekst źródłaAlagić, Suad. Software Engineering: Specification, Implementation, Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61518-9.
Pełny tekst źródłaAlt, René, Andreas Frommer, R. Baker Kearfott i Wolfram Luther, red. Numerical Software with Result Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b96498.
Pełny tekst źródłaLettnin, Djones, i Markus Winterholer, red. Embedded Software Verification and Debugging. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4614-2266-2.
Pełny tekst źródłaMeyer, Bertrand, i Martin Nordio, red. Tools for Practical Software Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-35746-6.
Pełny tekst źródłaM, Shagnea Anita, Hayhurst Kelly J i Langley Research Center, red. Software Verification Plan for GCS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1990.
Znajdź pełny tekst źródłaHuisman, Marieke, i Anton Wijs. Concise Guide to Software Verification. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-30167-4.
Pełny tekst źródłaApt, Krzysztof R. Verification of sequential and concurrent programs. New York: Springer-Verlag, 1991.
Znajdź pełny tekst źródła-R, Olderog E., red. Verification of sequential and concurrent programs. Wyd. 2. New York: Springer-Verlag, 1997.
Znajdź pełny tekst źródłaProgram verification. Wokingham, Eng: Addison-Wesley Pub. Co., 1992.
Znajdź pełny tekst źródłaSitnikovski, Boro. Introducing Software Verification with Dafny Language. Berkeley, CA: Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-7978-6.
Pełny tekst źródłaEder, Kerstin, João Lourenço i Onn Shehory, red. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34188-5.
Pełny tekst źródłaBloem, Roderick, i Eli Arbel, red. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49052-6.
Pełny tekst źródłaBertacco, Valeria, i Axel Legay, red. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03077-7.
Pełny tekst źródłaYahav, Eran, red. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-13338-6.
Pełny tekst źródłaBarner, Sharon, Ian Harris, Daniel Kroening i Orna Raz, red. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19583-9.
Pełny tekst źródłaAhrendt, Wolfgang, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt i Mattias Ulbrich, red. Deductive Software Verification – The KeY Book. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49812-6.
Pełny tekst źródłaPiterman, Nir, red. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-26287-1.
Pełny tekst źródłaBiere, Armin, Amir Nahir i Tanja Vos, red. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39611-3.
Pełny tekst źródłaBeckert, Bernhard, Ferruccio Damiani i Dilian Gurov, red. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31762-0.
Pełny tekst źródłaBeckert, Bernhard, i Claude Marché, red. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18070-5.
Pełny tekst źródłaYorav, Karen, red. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-77966-7.
Pełny tekst źródłaChockler, Hana, i Alan J. Hu, red. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01702-5.
Pełny tekst źródłaHavelund, Klaus, John Penix i Willem Visser, red. SPIN Model Checking and Software Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722468.
Pełny tekst źródłaStrichman, Ofer, i Rachel Tzoref-Brill, red. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70389-3.
Pełny tekst źródłaBin, Eyal, Avi Ziv i Shmuel Ur, red. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-70889-6.
Pełny tekst źródłaUr, Shmuel, Eyal Bin i Yaron Wolfsthal, red. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11678779.
Pełny tekst źródłaNamjoshi, Kedar, Andreas Zeller i Avi Ziv, red. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19237-1.
Pełny tekst źródłaHughes, Roger Brett. Automated interactive software verification and synthesis. Uxbridge: Brunel University, 1992.
Znajdź pełny tekst źródłaTests for software accreditation and verification. London: Chartered Institution of Building Services Engineers, 2006.
Znajdź pełny tekst źródłaJ, Andriole Stephen, i United States. National Bureau of Standards., red. Software validation, verification, testing, and documentation. Princeton, N.J: Petrocelli Books, 1986.
Znajdź pełny tekst źródłaNachum, Dershowitz, i Manna Zohar, red. Verification: Theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday. Berlin: Springer-Verlag, 2004.
Znajdź pełny tekst źródłaHelgeson, John W. The software audit guide. Milwaukee, Wis: ASQ Quality Press, 2009.
Znajdź pełny tekst źródła1943-, Kurshan R. P., red. Computer-aided verification. Boston: Kluwer Academic Publishers, 1992.
Znajdź pełny tekst źródłaSoftware reviews and audits handbook. New York: Wiley, 1990.
Znajdź pełny tekst źródłaHoare, C. A. R., M. Broy i Christian Leuxner. Software and systems safety: Specification and verification. Amsterdam: IOS Press, 2011.
Znajdź pełny tekst źródłaBergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Boston, MA: Springer US, 1997.
Znajdź pełny tekst źródłaBultan, Tevfik, Fang Yu, Muath Alkhalaf i 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.
Pełny tekst źródłaQuirk, William J., red. Verification and Validation of Real-Time Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70224-2.
Pełny tekst źródłaHaug, Michael, Eric W. Olsen i Luisa Consolini, red. Software Quality Approaches: Testing, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7.
Pełny tekst źródła