Libros sobre el tema "Formal methods (Computer science)"
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 (Computer science)".
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.
Wang, Jiacun y William Tepfenhart. Formal Methods in Computer Science. Boca Raton : Taylor & Francis, a CRC title, part of the Taylor & Francis imprint, a member of the Taylor & Francis Group, the academic division of T&F Informa, plc, 2019.: Chapman and Hall/CRC, 2019. http://dx.doi.org/10.1201/9780429184185.
Texto completo1947-, Ferenczi M., Pataricza András 1954-, Rónyai Lajos y Veszprémi Akadémiai Bizottság, eds. Formal methods in computing. Budapest: Akadémiai Kiadó, 2005.
Buscar texto completoD, Harrison M. y Thimbleby Harold, eds. Formal methods in human-computer interaction. Cambridge: Cambridge University Press, 1990.
Buscar texto completo1969-, Hinchey Michael G. y Bowen J. P. 1956-, eds. Applications of formal methods. London: Prentice Hall, 1995.
Buscar texto completoAraki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.
Buscar texto completo1966-, Palanque Philippe y Paternò Fabio 1960-, eds. Formal methods in human-computer interaction. London: Springer, 1998.
Buscar texto completoSouth-East European Workshop on Formal Methods (4th 2009 Thessaloniki, Greece). Proceedings: 2009 Fourth South-East European Workshop on Formal Methods : Formal Methods for Web Services, Formal Methods for Agent-Based Systems, 4-5 December 2009, Thessaloniki, Greece. Los Alamitos, Calif: IEEE Computer Society, 2009.
Buscar texto completoGnesi, Stefania. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley & Sons Inc., 2012.
Buscar texto completoGnesi, Stefania. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley & Sons Inc., 2012.
Buscar texto completoZ: An introduction to formal methods. Chichester [England]: J. Wiley, 1990.
Buscar texto completoBoulanger, Jean-Louis. Industrial used of formal method: Formal verification. London: ISTE, 2012.
Buscar texto completoMichael, Butler. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Buscar texto completoConstance, Heitmeyer y Mandrioli Dino, eds. Formal methods for real-time computing. Chichester: John Wiley, 1996.
Buscar texto completoClaude, Jard y Roux Olivier H, eds. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.
Buscar texto completoQin, Shengchao. Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Buscar texto completo1926-, Goldsack Stephen J. y Kent, S. J. H. 1966-, eds. Formal methods and object technology. London: Springer, 1996.
Buscar texto completoCarlos, Delgado Kloos y Damm Werner, eds. Practical formal methods for hardware design. Berlin: Springer, 1997.
Buscar texto completoFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.
Buscar texto completoSchneider, Klaus. Verification of Reactive Systems: Formal Methods and Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Buscar texto completoInternational Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan). Formal methods and software engineering: 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings. [New York]: Springer, 2008.
Buscar texto completoBolognesi, Tommaso. Formal Methods for Distributed System Development: FORTE. Boston, MA: Springer US, 2000.
Buscar texto completoClaude, Jard y Roux Olivier H, eds. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.
Buscar texto completoJacky, Jonathan. The way of Z: Practical programming with formal methods. Cambridge: Cambridge University Press, 1997.
Buscar texto completoRuqian, Lu. Domain modeling-based software engineering: A formal approach. Boston, MA: Kluwer Academic, 2000.
Buscar texto completoInternational Conference on Integrated Formal Methods (3rd 2002 Turku, Finland). Integrated formal methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings. Berlin: Springer, 2002.
Buscar texto completo1964-, Margaria-Steffen Tiziana, Massink Mieke, ACM Sigsoft y ESEC/FSE '05 (2005 : Lisbon, Portugal), eds. FMICS '05: Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05. New York: Association for Computing Machinery, 2005.
Buscar texto completoInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy). Formal methods for quantitative aspects of programming languages: 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures. Berlin: Springer, 2010.
Buscar texto completoInternational Conference on Formal Engineering Methods (5th 2003 Singapore). Formal methods and software engineering: 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings. Berlin: Springer, 2003.
Buscar texto completoInternational Conference on Formal Engineering Methods (5th 2003 Singapore). Formal methods and software engineering: 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings. Berlin: Springer, 2003.
Buscar texto completoBoca, Paul, J. P. Bowen y J. I. Siddiqi. Formal methods: State of the art and new directions. London: Springer, 2010.
Buscar texto completoKonferencja, naukowa Metody i. narzędzia wytwarzania oprogramowania (2007 Szklarska Poręba Poland). Konferencja naukowa Metody i narzędzia wytwarzania oprogramowania: Szklarska Poręba, 14-16 maja 2007 r. Wrocław: Oficyna Wydawnicza Politechniki Wrocławskiej, 2007.
Buscar texto completoSentā), Workshop on Industrial Applications of Formal Methods (2011 Senri Raifu Saiensu. Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011 =: Workshop on Industrial Applications of Formal Methods. Amagasaki-shi: Sangyō Gijutsu Sōgō Kenkyūjo Kumikomi Shisutemu Gijutsu Renkei Kenkyūtai, 2011.
Buscar texto completoInternational Workshop on Formal Methods for Industrial Critical Systems (10th 2005 Lisbon, Portugal). FMICS '05: Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05. Editado por Margaria-Steffen Tiziana 1964-, Massink Mieke, ACM Sigsoft y ESEC/FSE 2005 (2005 : Lisbon, Portugal). New York: Association for Computing Machinery, 2005.
Buscar texto completoInternational Conference on Integrated Formal Methods (1st 1999 York, England). IFM '99: Proceedings of the 1st International Conferenceon Integrated Formal Methods, York, 28-29 June 1999. London: Springer, 1999.
Buscar texto completoInternational Workshop on Formal Methods for Industrial Critical Systems (10th 2005 Lisbon, Portugal). FMICS '05: Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05. Editado por Margaria-Steffen Tiziana 1964-, Massink Mieke, ACM Sigsoft y ESEC/FSE 2005 (2005 : Lisbon, Portugal). New York: Association for Computing Machinery, 2005.
Buscar texto completoWang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Buscar texto completoWang, Jiacun y William Tepfenhart. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Buscar texto completoWang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Buscar texto completoWang, Jiacun. Formal Methods in Computer Science. Routledge, 2019.
Buscar texto completoWang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Buscar texto completoWang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Buscar texto completoHarrison, Michael y Harold Thimbleby. Formal Methods in Human-Computer Interaction. University of Cambridge ESOL Examinations, 2009.
Buscar texto completoHerbert, J. Formal Methods in Digital Design. University of Cambridge ESOL Examinations, 1998.
Buscar texto completoRyan, P. Formal Methods in Systems Engineering. Springer London, Limited, 1993.
Buscar texto completoBoulanger, Jean-Louis. Formal Methods Applied to Complex Systems. Wiley & Sons, Incorporated, John, 2014.
Buscar texto completoHabrias, Henri y Marc Frappier. Software Specification Methods. Wiley & Sons, Incorporated, John, 2013.
Buscar texto completo(Editor), Mark D. Aagaard y John W. O'Leary (Editor), eds. Formal Methods in Computer-Aided Design. Springer, 2002.
Buscar texto completoFages, François. Formal Cell Biology: An Introduction to Formal Methods in Systems Biology. Taylor & Francis Group, 2013.
Buscar texto completoBoulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. Wiley & Sons, Incorporated, John, 2014.
Buscar texto completoBoulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. Wiley & Sons, Incorporated, John, 2014.
Buscar texto completo