Libros sobre el tema "Formal methds"
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 methds".
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.
Boulanger, Jean-Louis, ed. Formal Methods. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118561898.
Texto completoHavelund, Klaus, Jan Peleska, Bill Roscoe y Erik de Vink, eds. Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7.
Texto completoNielson, Flemming y Hanne Riis Nielson. Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3.
Texto completoAraki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.
Buscar texto completoBrat, Guillaume, Neha Rungta y Arnaud Venet, eds. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38088-4.
Texto completoDerrick, John, Stefania Gnesi, Diego Latella y Helen Treharne, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30729-4.
Texto completoHavelund, Klaus, Gerard Holzmann y Rajeev Joshi, eds. NASA Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9.
Texto completoPolikarpova, Nadia y Steve Schneider, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66845-1.
Texto completoLeuschel, Michael y Heike Wehrheim, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00255-7.
Texto completoAlbert, Elvira y Emil Sekerinski, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10181-1.
Texto completoRayadurgam, Sanjai y Oksana Tkachuk, eds. NASA Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40648-0.
Texto completoMonin, Jean-François y Michael G. Hinchey, eds. Understanding Formal Methods. London: Springer London, 2003. http://dx.doi.org/10.1007/978-1-4471-0043-0.
Texto completoRomijn, Judi, Graeme Smith y Jaco van de Pol, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11589976.
Texto completoBobaru, Mihaela, Klaus Havelund, Gerard J. Holzmann y Rajeev Joshi, eds. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20398-5.
Texto completoBadger, Julia M. y Kristin Yvonne Rozier, eds. NASA Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06200-6.
Texto completoBadger, Julia M. y Kristin Yvonne Rozier, eds. NASA Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-20652-9.
Texto completoJohnsen, Einar Broch y Luigia Petre, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38613-8.
Texto completoGibbons, Jeremy y José Nuno Oliveira, eds. Teaching Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04912-5.
Texto completoDutle, Aaron, César Muñoz y Anthony Narkawicz, eds. NASA Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-77935-5.
Texto completoBarrett, Clark, Misty Davies y Temesghen Kahsai, eds. NASA Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57288-8.
Texto completoDean, C. Neville y Raymond T. Boute, eds. Teaching Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b102075.
Texto completoBoiten, Eerke A., John Derrick y Graeme Smith, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b96106.
Texto completoGoodloe, Alwyn E. y Suzette Person, eds. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28891-3.
Texto completoDongol, Brijesh, Luigia Petre y Graeme Smith, eds. Formal Methods Teaching. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32441-4.
Texto completoButler, Michael, Luigia Petre y Kaisa Sere, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47884-1.
Texto completoÁbrahám, Erika y Marieke Huisman, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33693-0.
Texto completoDongol, Brijesh y Elena Troubitsyna, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63461-2.
Texto completoFuria, Carlo A. y Kirsten Winter, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-98938-9.
Texto completoLee, Ritchie, Susmit Jha, Anastasia Mavridou y Dimitra Giannakopoulou, eds. NASA Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55754-6.
Texto completoAhrendt, Wolfgang y Silvia Lizeth Tapia Tarifa, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-34968-4.
Texto completoMéry, Dominique y Stephan Merz, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16265-7.
Texto completoGrieskamp, Wolfgang, Thomas Santen y Bill Stoddart, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-40911-4.
Texto completoDavies, Jim y Jeremy Gibbons, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73210-5.
Texto completoDutle, Aaron, Mariano M. Moscato, Laura Titolo, César A. Muñoz y Ivan Perez, eds. NASA Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-76384-8.
Texto completoAustin, Stephen. Formal methods: A survey. Teddington: National Physical Laboratory, 1993.
Buscar texto completoCavalcanti, Ana y 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.
Texto completoEloy, Sara, David Leite Viana, Franklim Morais y Jorge Vieira Vaz, eds. Formal Methods in Architecture. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-57509-0.
Texto completoMisra, Jayadev, Tobias Nipkow y Emil Sekerinski, eds. FM 2006: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11813040.
Texto completoJones, Cliff, Pekka Pihlajasaari y Jun Sun, eds. FM 2014: Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06410-9.
Texto completoGiannakopoulou, Dimitra y 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.
Texto completoButler, Michael y Wolfram Schulte, eds. FM 2011: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21437-0.
Texto completoHierons, Robert M., Jonathan P. Bowen y Mark Harman, eds. Formal Methods and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78917-8.
Texto completoAraki, Keijiro, Stefania Gnesi y Dino Mandrioli, eds. FME 2003: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.
Texto completoFitzgerald, John, Ian J. Hayes y Andrzej Tarlecki, eds. FM 2005: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b27882.
Texto completoWing, Jeannette M., Jim Woodcock y Jim Davies, eds. FM’99 — Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48118-4.
Texto completoWing, Jeannette M., Jim Woodcock y Jim Davies, eds. FM’99 — Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48119-2.
Texto completoRuggles, C. L. N., ed. Formal Methods in Standards. London: Springer London, 1990. http://dx.doi.org/10.1007/978-1-4471-3419-0.
Texto completoBjørner, Nikolaj y Frank de Boer, eds. FM 2015: Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19249-9.
Texto completoFitzgerald, John, Constance Heitmeyer, Stefania Gnesi y Anna Philippou, eds. FM 2016: Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48989-6.
Texto completoCuellar, Jorge, Tom Maibaum y Kaisa Sere, eds. FM 2008: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-68237-0.
Texto completo