Relevant bibliographies by topics / Formal methods for software engineering / Books

Books on the topic 'Formal methods for software engineering'

To see the other types of publications on this topic, follow the link: Formal methods for software engineering.
Author: Grafiati
Published: 25 May 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 'Formal methods for software engineering.'

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

Calinescu, Radu, and Corina S. Păsăreanu, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-92124-8.

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

Roggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, and Siraj Ahmed Shaikh. Formal Methods for Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-38800-3.

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

Schlingloff, Bernd-Holger, and Ming Chai, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6.

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

Riesco, Adrian, and Min Zhang, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17244-1.

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

Breitman, Karin, and Ana Cavalcanti, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10373-5.

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

Liu, Shaoying, Tom Maibaum, and Keijiro Araki, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88194-0.

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

Duan, Zhenhua, and Luke Ong, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68690-5.

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

George, Chris, and Huaikou Miao, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36103-0.

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

Ogata, Kazuhiro, Mark Lawford, and Shaoying Liu, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47846-3.

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

Cerone, Antonio, and Marco Roveri, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74781-1.

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

Groves, Lindsay, and Jing Sun, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41202-8.

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

Butler, Michael, Michael G. Hinchey, and María M. Larrondo-Petrie, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-76650-6.

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

De Nicola, Rocco, and Eva Kühn, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41591-8.

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

Cimatti, Alessandro, and Marjan Sirjani, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66197-1.

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

Aoki, Toshiaki, and Kenji Taguchi, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34281-3.

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

Calinescu, Radu, and Bernhard Rumpe, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22969-0.

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

Lin, Shang-Wei, Zhe Hou, and Brendan Mahoney, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63406-3.

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

Canal, Carlos, and Akram Idani, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-15201-1.

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

Johnsen, Einar Broch, and Ina Schaefer, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-92970-5.

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

Liu, Zhiming, and Jifeng He, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11901433.

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

Hierons, Robert M., Mercedes G. Merayo, and Mario Bravetti, eds. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40561-7.

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

Sun, Jing, and Meng Sun, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02450-5.

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

Camara, Javier, and Martin Steffen, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57506-9.

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

Dong, Jin Song, and Huibiao Zhu, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16901-4.

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

Counsell, Steve, and Manuel Núñez, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-05032-4.

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

Lau, Kung-Kiu, and Richard Banach, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11576280.

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

Eleftherakis, George, Mike Hinchey, and Mike Holcombe, eds. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33826-7.

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

Giannakopoulou, Dimitra, and Gwen Salaün, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10431-7.

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

Qin, Shengchao, and Zongyan Qiu, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24559-6.

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

Barthe, Gilles, Alberto Pardo, and Gerardo Schneider, eds. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24690-6.

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

Merz, Stephan, and Jun Pang, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11737-9.

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

Bianculli, Domenico, Radu Calinescu, and Bernhard Rumpe, eds. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-49224-6.

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

Ölveczky, Peter Csaba, and Gwen Salaün, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-30446-1.

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

Davies, Jim, Wolfram Schulte, and Mike Barnett, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b102837.

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

Dong, Jin Song, and Jim Woodcock, eds. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b94115.

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

de Boer, Frank, and Antonio Cerone, eds. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58768-0.

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

Butler, Michael, Sylvain Conchon, and Fatiha Zaïdi, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-25423-4.

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

Ait-Ameur, Yamine, and Shengchao Qin, eds. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32409-4.

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

Ferreira, Carla, and Tim A. C. Willemse, eds. Software Engineering and Formal Methods. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-47115-5.

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

Li, Yi, and Sofiène Tahar, eds. Formal Methods and Software Engineering. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-7584-6.

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

Martin, Loomes, ed. Software engineering mathematics: Formal methods demystified. London: Pitman, 1988.

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

Hußmann, Heinrich, ed. Formal Foundations for Software Engineering Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63613-7.

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

Formal foundations for software engineering methods. Berlin: Springer, 1997.

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

Holcombe, W. M. L. Formal methods and software engineering group. Sheffield: University of Sheffield, Dept. of Computer Science, 1995.

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

Martin, Loomes, ed. Software engineering mathematics: Formal methods demystified. London: Taylor & Francis, 1997.

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

Software engineering. Berlin: Springer, 2006.

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

Alagar, V. S., Laks V. S. Lakshmanan, and F. Sadri, eds. Formal Methods in Databases and Software Engineering. London: Springer London, 1993. http://dx.doi.org/10.1007/978-1-4471-3213-4.

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

S, Alagar V., ed. Formal methods in databases and software engineering. Amsterdam: North-Holland, 1994.

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

PhD, Ryan Peter, and Sennett C. T, eds. Formal methods in systems engineering. London: Springer Verlag, 1993.

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

Cerone, Antonio, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, and Gentiane Venture, eds. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-12429-7.

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