Relevant bibliographies by topics / Verification / Books

Books on the topic 'Verification'

To see the other types of publications on this topic, follow the link: Verification.
Author: Grafiati
Published: 4 June 2021
Last updated: 14 September 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Verification.'

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.

1

United States. Environmental Protection Agency. Office of Research and Development., ed. Environmental Technology Verification Program: Verification strategy. Washington, DC: Office of Research and Development, U.S. Environmental Protection Agency, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Canada. Dept. of External Affairs., ed. Verification research: Canada's Verification Research Program. Ottawa, Ont: External Affairs Canada, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Feng, Lu, and Dana Fisman, eds. Runtime Verification. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88494-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bloem, Roderick, Rayna Dimitrova, Chuchu Fan, and Natasha Sharygina, eds. Software Verification. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-95561-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Colombo, Christian, and Gordon J. Pace. Runtime Verification. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-09268-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dang, Thao, and Volker Stolz, eds. Runtime Verification. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17196-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lahiri, Shuvendu, and Giles Reger, eds. Runtime Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67531-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bartocci, Ezio, and Rupak Majumdar, eds. Runtime Verification. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23820-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Barringer, Howard, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, and Nikolai Tillmann, eds. Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16612-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Colombo, Christian, and Martin Leucker, eds. Runtime Verification. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03769-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Colburn, Timothy R., James H. Fetzer, and Terry L. Rankin, eds. Program Verification. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-1793-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Leucker, Martin, ed. Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89247-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Christakis, Maria, Nadia Polikarpova, Parasara Sridhar Duggirala, and Peter Schrammel, eds. Software Verification. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63618-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

James, Peet. Verification Plans. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4615-0473-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Khurshid, Sarfraz, and Koushik Sen, eds. Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29860-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Falcone, Yliès, and César Sánchez, eds. Runtime Verification. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46982-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Finkbeiner, Bernd, and Leonardo Mariani, eds. Runtime Verification. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32079-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Legay, Axel, and Saddek Bensalem, eds. Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40787-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Bensalem, Saddek, and Doron A. Peled, eds. Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04694-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Bonakdarpour, Borzoo, and Scott A. Smolka, eds. Runtime Verification. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11164-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Jolliffe, Ian T., and David B. Stephenson, eds. Forecast Verification. Chichester, UK: John Wiley & Sons, Ltd, 2011. http://dx.doi.org/10.1002/9781119960003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Sokolsky, Oleg, and Serdar Taşıran, eds. Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-77395-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Deshmukh, Jyotirmoy, and Dejan Ničković, eds. Runtime Verification. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-60508-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Qadeer, Shaz, and Serdar Tasiran, eds. Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35632-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

1951-, Findlay Trevor, ed. Verification yearbook. London: VERTIC, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
26

Washington (State). Dept. of Licensing., ed. Address verification. [Olympia, Wash.]: Washington State, Dept. of Licensing, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
27

Canada. Dept. of External Affairs., ed. Seismic verification. Ottawa, Ont: External Affairs Canada, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
28

Flack, David. CMM verification. Teddington: National Physical Laboratory, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

Ulkoasiainministeriö, Finland, and Finnish Research Project on the Verification of Chemical Disarmament., eds. Verification database. Helsinki: Ministry for Foreign Affairs of Finland, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
30

Trevor, Findlay, ed. Verification yearbook. London: Verification Research, Training Centre (VERTIC), 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

Katsaros, Panagiotis, and Laura Nenzi, eds. Runtime Verification. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-44267-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Avni, Guy, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, and Christian Schilling, eds. AI Verification. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65112-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

James, Peet. Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages. Boston, MA: Springer US, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
34

James, Peet. Verification plans: The five-day verification strategy for modern hardware verification languages. Boston: Kluwer Academic Publishers, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
35

Légale, Bureau Internationale de Métrologie. Suppliers of verification equipment =: Fournisseurs d'equipment de verification. Paris: BIML, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
36

Apt, Krzysztof R. Verification of sequential and concurrent programs. New York: Springer-Verlag, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

Silva, Alexandra, and K. Rustan M. Leino, eds. Computer Aided Verification. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Silva, Alexandra, and K. Rustan M. Leino, eds. Computer Aided Verification. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Li, Lun, and Mitchell A. Thornton. Digital System Verification. Cham: Springer International Publishing, 2010. http://dx.doi.org/10.1007/978-3-031-79815-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Shoham, Sharon, and Yakir Vizel, eds. Computer Aided Verification. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Shoham, Sharon, and Yakir Vizel, eds. Computer Aided Verification. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13185-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Touili, Tayssir, Byron Cook, and Paul Jackson, eds. Computer Aided Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14295-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Gopalakrishnan, Ganesh, and Shaz Qadeer, eds. Computer Aided Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22110-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Majumdar, Rupak, and Viktor Kunčak, eds. Computer Aided Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63387-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Majumdar, Rupak, and Viktor Kunčak, eds. Computer Aided Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63390-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Abate, Alessandro, and Sylvie Boldo, eds. Numerical Software Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63501-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Gupta, Aarti, and Sharad Malik, eds. Computer Aided Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-70545-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Wolper, Pierre, ed. Computer Aided Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60045-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Kundu, Sudipta, Sorin Lerner, and Rajesh K. Gupta. High-Level Verification. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-9359-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Dillig, Isil, and Serdar Tasiran, eds. Computer Aided Verification. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25540-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Verification' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography