Books on the topic 'Verification and testing'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Verification and testing.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Srinivas, Devadas, and Newton A. Richard 1951-, eds. Sequential logic testing and verification. Boston: Kluwer Academic, 1992.
Find full textGhosh, Abhijit, Srinivas Devadas, and A. Richard Newton. Sequential Logic Testing and Verification. Boston, MA: Springer US, 1992. http://dx.doi.org/10.1007/978-1-4615-3646-8.
Full textGhosh, Abhijit. Sequential Logic Testing and Verification. Boston, MA: Springer US, 1992.
Find full textZeljko, Zilic, ed. Verification by error modeling: Using testing techniques in hardware verification. Boston: Kluwer Academic Publishers, 2003.
Find full textIFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification (14th 1994 Vancouver, B.C). Protocol specification, testing and verification XIV. London: Chapman & Hall, 1995.
Find full textEder, Kerstin, João Lourenço, and Onn Shehory, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34188-5.
Full textBloem, Roderick, and Eli Arbel, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49052-6.
Full textBertacco, Valeria, and Axel Legay, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03077-7.
Full textYahav, Eran, ed. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-13338-6.
Full textBarner, Sharon, Ian Harris, Daniel Kroening, and Orna Raz, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19583-9.
Full textPiterman, Nir, ed. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-26287-1.
Full textDembiński, Piotr, and Marek Średniawa, eds. Protocol Specification, Testing and Verification XV. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-0-387-34892-6.
Full textBiere, Armin, Amir Nahir, and Tanja Vos, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39611-3.
Full textVuong, Son T., and Samuel T. Chanson, eds. Protocol Specification, Testing and Verification XIV. Boston, MA: Springer US, 1995. http://dx.doi.org/10.1007/978-0-387-34867-4.
Full textYorav, Karen, ed. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-77966-7.
Full textChockler, Hana, and Alan J. Hu, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01702-5.
Full textStrichman, Ofer, and Rachel Tzoref-Brill, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70389-3.
Full textBin, Eyal, Avi Ziv, and Shmuel Ur, eds. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-70889-6.
Full textUr, Shmuel, Eyal Bin, and Yaron Wolfsthal, eds. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11678779.
Full textNamjoshi, Kedar, Andreas Zeller, and Avi Ziv, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19237-1.
Full textEngel, Avner. Verification, Validation, and Testing of Engineered Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2010. http://dx.doi.org/10.1002/9780470618851.
Full textHaug, Michael, Eric W. Olsen, and Luisa Consolini, eds. Software Quality Approaches: Testing, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7.
Full textVerification, validation, and testing of engineered systems. Hoboken, N.J: Wiley, 2010.
Find full textAllwes, Richard A. Arch canopy verification tests. Washington, D.C: Bureau of Mines, U.S. Dept. of the Interior, 1990.
Find full textBeautiful testing. Sebastopol, Calif: O'Reilly, 2010.
Find full textReliability Verification, Testing, and Analysis in Engineering Design. New York: Marcel Dekker, Inc., 2003.
Find full textReliability verification, testing, and analysis in engineering design. New York: Marcel Dekker, 2003.
Find full textHavelund, Klaus, Manuel Núñez, Grigore Roşu, and Burkhart Wolff, eds. Formal Approaches to Software Testing and Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11940197.
Full textBerglund, Tim. Building and testing with Gradle. Sebastopol, CA: O'Reilly Media, 2011.
Find full textIFIP, WG 6. 1. International Workshop on Protocol Specification Testing and Verification (4th 1984 Skytop Lodge Pa ). Protocol specification, testing, and verification, IV: Proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1985.
Find full textSrivas, Mandayam K. Formal verification of an avionics microprocessor. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Find full textRolf, Drechsler, ed. Advanced formal verification. Boston: Kluwer Academic Publishers, 2004.
Find full textMizuno, Tadanori, Norio Shiratori, Teruo Higashino, and Atsushi Togashi, eds. Formal Description Techniques and Protocol Specification, Testing and Verification. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-0-387-35271-8.
Full textSequential Logic Testing and Verification. Springer, 2011.
Find full textRadecka, Katarzyna, and Zeljko Zilic. Verification by Error Modeling: Using Testing Techniques in Hardware Verification (Frontiers in Electronic Testing). Springer, 2003.
Find full textRadecka, Katarzyna. Verification by Error Modeling: Using Testing Techniques In Hardware Verification. Springer, 2010.
Find full textRadecka, Katarzyna, and Zeljko Zilic. Verification by Error Modeling: Using Testing Techniques in Hardware Verification. Springer London, Limited, 2006.
Find full textDrechsler, Rolf. Advanced Formal Verification. Springer, 2004.
Find full textCanada. Dept. of External Affairs., ed. Seismic verification. Ottawa, Ont: External Affairs Canada, 1986.
Find full textProtocol Specification, Testing, and Verification, V. Elsevier Science Ltd, 1986.
Find full textAlan J. Hu,Hana Chockler. Hardware and Software: Verification and Testing. Springer, 2009.
Find full textChanson, S. T. Protocol Specification, Testing and Verification XIV. Springer, 1994.
Find full text(Editor), Piotr Dembinski, and Marek Sredniawa (Editor), eds. Protocol Specification, Testing and Verification XV. Springer, 1995.
Find full textDembinski, Piotr, and Marek Sredniawa. Protocol Specification, Testing and Verification XV. Springer, 2016.
Find full textJ, Andriole Stephen, and United States. National Bureau of Standards., eds. Software validation, verification, testing, and documentation. Princeton, N.J: Petrocelli Books, 1986.
Find full textProtocol Specification, Testing and Verification, XII. Elsevier, 1992. http://dx.doi.org/10.1016/c2009-0-10203-9.
Full textUnited States. Congress. Office of Technology Assessment., ed. Seismic verification of nuclear testing treaties. Washington, DC: Congress of the U.S., Office of Technology Assessment, 1988.
Find full textVuong, S. T., and Samuel T. Chanson. Protocol Specification, Testing and Verification XIV. Springer, 2013.
Find full textVuong, S. T., and Samuel T. Chanson. Protocol Specification, Testing and Verification XIV. Springer London, Limited, 2013.
Find full textProtocol Specification, Testing and Verification, IV. North-Holland, 1985.
Find full text