Libri sul tema "Formal methods (Computer science)"

Wang, Jiacun, e 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.

1947-, Ferenczi M., Pataricza András 1954-, Rónyai Lajos e Veszprémi Akadémiai Bizottság, a cura di. Formal methods in computing. Budapest: Akadémiai Kiadó, 2005.

D, Harrison M., e Thimbleby Harold, a cura di. Formal methods in human-computer interaction. Cambridge: Cambridge University Press, 1990.

1969-, Hinchey Michael G., e Bowen J. P. 1956-, a cura di. Applications of formal methods. London: Prentice Hall, 1995.

Araki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.

1966-, Palanque Philippe, e Paternò Fabio 1960-, a cura di. Formal methods in human-computer interaction. London: Springer, 1998.

South-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.

Gnesi, Stefania. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley & Sons Inc., 2012.

Gnesi, Stefania. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley & Sons Inc., 2012.

Z: An introduction to formal methods. Chichester [England]: J. Wiley, 1990.

Boulanger, Jean-Louis. Industrial used of formal method: Formal verification. London: ISTE, 2012.

Michael, Butler. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

Constance, Heitmeyer, e Mandrioli Dino, a cura di. Formal methods for real-time computing. Chichester: John Wiley, 1996.

Claude, Jard, e Roux Olivier H, a cura di. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.

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

1926-, Goldsack Stephen J., e Kent, S. J. H. 1966-, a cura di. Formal methods and object technology. London: Springer, 1996.

Carlos, Delgado Kloos, e Damm Werner, a cura di. Practical formal methods for hardware design. Berlin: Springer, 1997.

FMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.

Schneider, Klaus. Verification of Reactive Systems: Formal Methods and Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

International 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.

Bolognesi, Tommaso. Formal Methods for Distributed System Development: FORTE. Boston, MA: Springer US, 2000.

Claude, Jard, e Roux Olivier H, a cura di. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.

Jacky, Jonathan. The way of Z: Practical programming with formal methods. Cambridge: Cambridge University Press, 1997.

Ruqian, Lu. Domain modeling-based software engineering: A formal approach. Boston, MA: Kluwer Academic, 2000.

International 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.

1964-, Margaria-Steffen Tiziana, Massink Mieke, ACM Sigsoft e ESEC/FSE '05 (2005 : Lisbon, Portugal), a cura di. 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.

International 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.

International 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.

International 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.

Boca, Paul, J. P. Bowen e J. I. Siddiqi. Formal methods: State of the art and new directions. London: Springer, 2010.

Konferencja, 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.

Sentā), 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.

International 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. A cura di Margaria-Steffen Tiziana 1964-, Massink Mieke, ACM Sigsoft e ESEC/FSE 2005 (2005 : Lisbon, Portugal). New York: Association for Computing Machinery, 2005.

International 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.

International 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. A cura di Margaria-Steffen Tiziana 1964-, Massink Mieke, ACM Sigsoft e ESEC/FSE 2005 (2005 : Lisbon, Portugal). New York: Association for Computing Machinery, 2005.

Wang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.

Wang, Jiacun, e William Tepfenhart. Formal Methods in Computer Science. Taylor & Francis Group, 2019.

Wang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.

Wang, Jiacun. Formal Methods in Computer Science. Routledge, 2019.

Wang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.

Wang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.

Harrison, Michael, e Harold Thimbleby. Formal Methods in Human-Computer Interaction. University of Cambridge ESOL Examinations, 2009.

Herbert, J. Formal Methods in Digital Design. University of Cambridge ESOL Examinations, 1998.

Ryan, P. Formal Methods in Systems Engineering. Springer London, Limited, 1993.

Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems. Wiley & Sons, Incorporated, John, 2014.

Habrias, Henri, e Marc Frappier. Software Specification Methods. Wiley & Sons, Incorporated, John, 2013.

(Editor), Mark D. Aagaard, e John W. O'Leary (Editor), a cura di. Formal Methods in Computer-Aided Design. Springer, 2002.

Fages, François. Formal Cell Biology: An Introduction to Formal Methods in Systems Biology. Taylor & Francis Group, 2013.

Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. Wiley & Sons, Incorporated, John, 2014.

Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. Wiley & Sons, Incorporated, John, 2014.