Conecte-se

Bibliografias temáticas / Formal methods for software engineering / Livros

Livros sobre o tema "Formal methods for software engineering"

Siga este link para ver outros tipos de publicações sobre o tema: Formal methods for software engineering.

Autor: Grafiati

Publicado: 25 de maio de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores livros para estudos sobre o assunto "Formal methods for software engineering".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja os livros das mais diversas áreas científicas e compile uma bibliografia correta.

1

Calinescu, Radu, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

Breitman, Karin, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

Liu, Shaoying, Tom Maibaum e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Groves, Lindsay, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

Butler, Michael, Michael G. Hinchey e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

De Nicola, Rocco, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

Aoki, Toshiaki, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

18

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

Hierons, Robert M., Mercedes G. Merayo e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

24

Dong, Jin Song, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

Counsell, Steve, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

Eleftherakis, George, Mike Hinchey e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

28

Giannakopoulou, Dimitra, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

29

Qin, Shengchao, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

Barthe, Gilles, Alberto Pardo e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

32

Bianculli, Domenico, Radu Calinescu e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

33

Ölveczky, Peter Csaba, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

37

Butler, Michael, Sylvain Conchon e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

Ferreira, Carla, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

40

Li, Yi, e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

41

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

45

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

46

Software engineering. Berlin: Springer, 2006.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

47

Alagar, V. S., Laks V. S. Lakshmanan e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

48

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

50

Cerone, Antonio, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini e 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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!