Bibliografías temáticas / Formal methods for software engineering / Libros
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Formal methods for software engineering.

Libros sobre el tema "Formal methods for software engineering"

Autor: Grafiati
Publicado: 25 de mayo de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores mejores libros para su investigación sobre el tema "Formal methods for software engineering".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Calinescu, Radu y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Roggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Schlingloff, Bernd-Holger y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Riesco, Adrian y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Breitman, Karin y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Liu, Shaoying, Tom Maibaum y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Duan, Zhenhua y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

George, Chris y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Ogata, Kazuhiro, Mark Lawford y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Cerone, Antonio y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Groves, Lindsay y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Butler, Michael, Michael G. Hinchey y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

De Nicola, Rocco y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Cimatti, Alessandro y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Aoki, Toshiaki y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Calinescu, Radu y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Lin, Shang-Wei, Zhe Hou y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Canal, Carlos y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Johnsen, Einar Broch y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Hierons, Robert M., Mercedes G. Merayo y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Sun, Jing y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Camara, Javier y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Dong, Jin Song y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Counsell, Steve y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Eleftherakis, George, Mike Hinchey y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Giannakopoulou, Dimitra y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Qin, Shengchao y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Barthe, Gilles, Alberto Pardo y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Merz, Stephan y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Bianculli, Domenico, Radu Calinescu y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Ölveczky, Peter Csaba y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

de Boer, Frank y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Butler, Michael, Sylvain Conchon y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Ait-Ameur, Yamine y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Ferreira, Carla y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Li, Yi y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Software engineering. Berlin: Springer, 2006.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Alagar, V. S., Laks V. S. Lakshmanan y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Cerone, Antonio, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini y 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Formal methods for software engineering" para otros tipos de fuentes:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía