Relevant bibliographies by topics / Formal methds / Books
To see the other types of publications on this topic, follow the link: Formal methds.

Books on the topic 'Formal methds'

Author: Grafiati
Published: 4 June 2021
Last updated: 19 February 2022

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 'Formal methds.'

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

Boulanger, Jean-Louis, ed. Formal Methods. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118561898.

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

Havelund, Klaus, Jan Peleska, Bill Roscoe, and Erik de Vink, eds. Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7.

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

Nielson, Flemming, and Hanne Riis Nielson. Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3.

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

Araki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.

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

Brat, Guillaume, Neha Rungta, and Arnaud Venet, eds. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38088-4.

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

Derrick, John, Stefania Gnesi, Diego Latella, and Helen Treharne, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30729-4.

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

Havelund, Klaus, Gerard Holzmann, and Rajeev Joshi, eds. NASA Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9.

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

Polikarpova, Nadia, and Steve Schneider, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66845-1.

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

Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00255-7.

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

Albert, Elvira, and Emil Sekerinski, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10181-1.

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

Rayadurgam, Sanjai, and Oksana Tkachuk, eds. NASA Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40648-0.

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

Monin, Jean-François, and Michael G. Hinchey, eds. Understanding Formal Methods. London: Springer London, 2003. http://dx.doi.org/10.1007/978-1-4471-0043-0.

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

Romijn, Judi, Graeme Smith, and Jaco van de Pol, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11589976.

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

Bobaru, Mihaela, Klaus Havelund, Gerard J. Holzmann, and Rajeev Joshi, eds. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20398-5.

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

Badger, Julia M., and Kristin Yvonne Rozier, eds. NASA Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06200-6.

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

Badger, Julia M., and Kristin Yvonne Rozier, eds. NASA Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-20652-9.

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

Johnsen, Einar Broch, and Luigia Petre, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38613-8.

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

Gibbons, Jeremy, and José Nuno Oliveira, eds. Teaching Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04912-5.

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

Dutle, Aaron, César Muñoz, and Anthony Narkawicz, eds. NASA Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-77935-5.

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

Barrett, Clark, Misty Davies, and Temesghen Kahsai, eds. NASA Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57288-8.

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

Dean, C. Neville, and Raymond T. Boute, eds. Teaching Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b102075.

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

Boiten, Eerke A., John Derrick, and Graeme Smith, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b96106.

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

Goodloe, Alwyn E., and Suzette Person, eds. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28891-3.

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

Dongol, Brijesh, Luigia Petre, and Graeme Smith, eds. Formal Methods Teaching. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32441-4.

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

Butler, Michael, Luigia Petre, and Kaisa Sere, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47884-1.

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

Ábrahám, Erika, and Marieke Huisman, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33693-0.

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

Dongol, Brijesh, and Elena Troubitsyna, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63461-2.

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

Furia, Carlo A., and Kirsten Winter, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-98938-9.

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

Lee, Ritchie, Susmit Jha, Anastasia Mavridou, and Dimitra Giannakopoulou, eds. NASA Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55754-6.

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

Ahrendt, Wolfgang, and Silvia Lizeth Tapia Tarifa, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-34968-4.

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

Méry, Dominique, and Stephan Merz, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16265-7.

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

Grieskamp, Wolfgang, Thomas Santen, and Bill Stoddart, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-40911-4.

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

Davies, Jim, and Jeremy Gibbons, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73210-5.

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

Dutle, Aaron, Mariano M. Moscato, Laura Titolo, César A. Muñoz, and Ivan Perez, eds. NASA Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-76384-8.

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

Austin, Stephen. Formal methods: A survey. Teddington: National Physical Laboratory, 1993.

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

Cavalcanti, Ana, and Dennis R. Dams, eds. FM 2009: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-05089-3.

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

Eloy, Sara, David Leite Viana, Franklim Morais, and Jorge Vieira Vaz, eds. Formal Methods in Architecture. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-57509-0.

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

Misra, Jayadev, Tobias Nipkow, and Emil Sekerinski, eds. FM 2006: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11813040.

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

Jones, Cliff, Pekka Pihlajasaari, and Jun Sun, eds. FM 2014: Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06410-9.

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

Giannakopoulou, Dimitra, and Dominique Méry, eds. FM 2012: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32759-9.

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

Butler, Michael, and Wolfram Schulte, eds. FM 2011: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21437-0.

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

Hierons, Robert M., Jonathan P. Bowen, and Mark Harman, eds. Formal Methods and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78917-8.

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

Araki, Keijiro, Stefania Gnesi, and Dino Mandrioli, eds. FME 2003: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.

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

Fitzgerald, John, Ian J. Hayes, and Andrzej Tarlecki, eds. FM 2005: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b27882.

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

Wing, Jeannette M., Jim Woodcock, and Jim Davies, eds. FM’99 — Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48118-4.

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

Wing, Jeannette M., Jim Woodcock, and Jim Davies, eds. FM’99 — Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48119-2.

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

Ruggles, C. L. N., ed. Formal Methods in Standards. London: Springer London, 1990. http://dx.doi.org/10.1007/978-1-4471-3419-0.

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

Bjørner, Nikolaj, and Frank de Boer, eds. FM 2015: Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19249-9.

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

Fitzgerald, John, Constance Heitmeyer, Stefania Gnesi, and Anna Philippou, eds. FM 2016: Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48989-6.

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

Cuellar, Jorge, Tom Maibaum, and Kaisa Sere, eds. FM 2008: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-68237-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Formal methds' 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