Libros sobre el tema "Formal methods for software engineering"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
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.
Calinescu, Radu, and Corina S. Păsăreanu, eds. Software Engineering and Formal Methods. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-92124-8.
Texto completoRoggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, and Siraj Ahmed Shaikh. Formal Methods for Software Engineering. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-38800-3.
Texto completoSchlingloff, Bernd-Holger, and Ming Chai, eds. Software Engineering and Formal Methods. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6.
Texto completoRiesco, Adrian, and Min Zhang, eds. Formal Methods and Software Engineering. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17244-1.
Texto completoBreitman, Karin, and Ana Cavalcanti, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10373-5.
Texto completoLiu, Shaoying, Tom Maibaum, and Keijiro Araki, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88194-0.
Texto completoDuan, Zhenhua, and Luke Ong, eds. Formal Methods and Software Engineering. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68690-5.
Texto completoGeorge, Chris, and Huaikou Miao, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36103-0.
Texto completoOgata, Kazuhiro, Mark Lawford, and Shaoying Liu, eds. Formal Methods and Software Engineering. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47846-3.
Texto completoCerone, Antonio, and Marco Roveri, eds. Software Engineering and Formal Methods. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74781-1.
Texto completoGroves, Lindsay, and Jing Sun, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41202-8.
Texto completoButler, Michael, Michael G. Hinchey, and María M. Larrondo-Petrie, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-76650-6.
Texto completoDe Nicola, Rocco, and Eva Kühn, eds. Software Engineering and Formal Methods. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41591-8.
Texto completoCimatti, Alessandro, and Marjan Sirjani, eds. Software Engineering and Formal Methods. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66197-1.
Texto completoAoki, Toshiaki, and Kenji Taguchi, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34281-3.
Texto completoCalinescu, Radu, and Bernhard Rumpe, eds. Software Engineering and Formal Methods. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22969-0.
Texto completoLin, Shang-Wei, Zhe Hou, and Brendan Mahoney, eds. Formal Methods and Software Engineering. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63406-3.
Texto completoCanal, Carlos, and Akram Idani, eds. Software Engineering and Formal Methods. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-15201-1.
Texto completoJohnsen, Einar Broch, and Ina Schaefer, eds. Software Engineering and Formal Methods. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-92970-5.
Texto completoLiu, Zhiming, and Jifeng He, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11901433.
Texto completoHierons, Robert M., Mercedes G. Merayo, and Mario Bravetti, eds. Software Engineering and Formal Methods. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40561-7.
Texto completoSun, Jing, and Meng Sun, eds. Formal Methods and Software Engineering. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02450-5.
Texto completoCamara, Javier, and Martin Steffen, eds. Software Engineering and Formal Methods. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57506-9.
Texto completoDong, Jin Song, and Huibiao Zhu, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16901-4.
Texto completoCounsell, Steve, and Manuel Núñez, eds. Software Engineering and Formal Methods. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-05032-4.
Texto completoLau, Kung-Kiu, and Richard Banach, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11576280.
Texto completoEleftherakis, George, Mike Hinchey, and Mike Holcombe, eds. Software Engineering and Formal Methods. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33826-7.
Texto completoGiannakopoulou, Dimitra, and Gwen Salaün, eds. Software Engineering and Formal Methods. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10431-7.
Texto completoQin, Shengchao, and Zongyan Qiu, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24559-6.
Texto completoBarthe, Gilles, Alberto Pardo, and Gerardo Schneider, eds. Software Engineering and Formal Methods. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24690-6.
Texto completoMerz, Stephan, and Jun Pang, eds. Formal Methods and Software Engineering. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11737-9.
Texto completoBianculli, Domenico, Radu Calinescu, and Bernhard Rumpe, eds. Software Engineering and Formal Methods. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-49224-6.
Texto completoÖlveczky, Peter Csaba, and Gwen Salaün, eds. Software Engineering and Formal Methods. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-30446-1.
Texto completoDavies, Jim, Wolfram Schulte, and Mike Barnett, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b102837.
Texto completoDong, Jin Song, and Jim Woodcock, eds. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b94115.
Texto completode Boer, Frank, and Antonio Cerone, eds. Software Engineering and Formal Methods. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58768-0.
Texto completoButler, Michael, Sylvain Conchon, and Fatiha Zaïdi, eds. Formal Methods and Software Engineering. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-25423-4.
Texto completoAit-Ameur, Yamine, and Shengchao Qin, eds. Formal Methods and Software Engineering. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32409-4.
Texto completoFerreira, Carla, and Tim A. C. Willemse, eds. Software Engineering and Formal Methods. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-47115-5.
Texto completoLi, Yi, and Sofiène Tahar, eds. Formal Methods and Software Engineering. Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-7584-6.
Texto completoMartin, Loomes, ed. Software engineering mathematics: Formal methods demystified. Pitman, 1988.
Buscar texto completoHußmann, Heinrich, ed. Formal Foundations for Software Engineering Methods. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63613-7.
Texto completoHolcombe, W. M. L. Formal methods and software engineering group. University of Sheffield, Dept. of Computer Science, 1995.
Buscar texto completoMartin, Loomes, ed. Software engineering mathematics: Formal methods demystified. Taylor & Francis, 1997.
Buscar texto completoAlagar, V. S., Laks V. S. Lakshmanan, and F. Sadri, eds. Formal Methods in Databases and Software Engineering. Springer London, 1993. http://dx.doi.org/10.1007/978-1-4471-3213-4.
Texto completoS, Alagar V., ed. Formal methods in databases and software engineering. North-Holland, 1994.
Buscar texto completoPhD, Ryan Peter, and Sennett C. T, eds. Formal methods in systems engineering. Springer Verlag, 1993.
Buscar texto completoCerone, Antonio, Marco Autili, Alessio Bucaioni, et al., eds. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-12429-7.
Texto completo