Książki na temat „Formal methods (Computer science)”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Formal methods (Computer science)”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
Wang, Jiacun, i 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.
Pełny tekst źródła1947-, Ferenczi M., Pataricza András 1954-, Rónyai Lajos i Veszprémi Akadémiai Bizottság, red. Formal methods in computing. Budapest: Akadémiai Kiadó, 2005.
Znajdź pełny tekst źródłaD, Harrison M., i Thimbleby Harold, red. Formal methods in human-computer interaction. Cambridge: Cambridge University Press, 1990.
Znajdź pełny tekst źródła1969-, Hinchey Michael G., i Bowen J. P. 1956-, red. Applications of formal methods. London: Prentice Hall, 1995.
Znajdź pełny tekst źródłaAraki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.
Znajdź pełny tekst źródła1966-, Palanque Philippe, i Paternò Fabio 1960-, red. Formal methods in human-computer interaction. London: Springer, 1998.
Znajdź pełny tekst źródłaSouth-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.
Znajdź pełny tekst źródłaGnesi, Stefania. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley & Sons Inc., 2012.
Znajdź pełny tekst źródłaGnesi, Stefania. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley & Sons Inc., 2012.
Znajdź pełny tekst źródłaZ: An introduction to formal methods. Chichester [England]: J. Wiley, 1990.
Znajdź pełny tekst źródłaBoulanger, Jean-Louis. Industrial used of formal method: Formal verification. London: ISTE, 2012.
Znajdź pełny tekst źródłaMichael, Butler. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Znajdź pełny tekst źródłaConstance, Heitmeyer, i Mandrioli Dino, red. Formal methods for real-time computing. Chichester: John Wiley, 1996.
Znajdź pełny tekst źródłaClaude, Jard, i Roux Olivier H, red. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.
Znajdź pełny tekst źródłaQin, 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.
Znajdź pełny tekst źródła1926-, Goldsack Stephen J., i Kent, S. J. H. 1966-, red. Formal methods and object technology. London: Springer, 1996.
Znajdź pełny tekst źródłaCarlos, Delgado Kloos, i Damm Werner, red. Practical formal methods for hardware design. Berlin: Springer, 1997.
Znajdź pełny tekst źródłaFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.
Znajdź pełny tekst źródłaSchneider, Klaus. Verification of Reactive Systems: Formal Methods and Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Znajdź pełny tekst źródłaInternational 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.
Znajdź pełny tekst źródłaBolognesi, Tommaso. Formal Methods for Distributed System Development: FORTE. Boston, MA: Springer US, 2000.
Znajdź pełny tekst źródłaClaude, Jard, i Roux Olivier H, red. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.
Znajdź pełny tekst źródłaJacky, Jonathan. The way of Z: Practical programming with formal methods. Cambridge: Cambridge University Press, 1997.
Znajdź pełny tekst źródłaRuqian, Lu. Domain modeling-based software engineering: A formal approach. Boston, MA: Kluwer Academic, 2000.
Znajdź pełny tekst źródłaInternational 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.
Znajdź pełny tekst źródła1964-, Margaria-Steffen Tiziana, Massink Mieke, ACM Sigsoft i ESEC/FSE '05 (2005 : Lisbon, Portugal), red. 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.
Znajdź pełny tekst źródłaInternational 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.
Znajdź pełny tekst źródłaInternational 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.
Znajdź pełny tekst źródłaInternational 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.
Znajdź pełny tekst źródłaBoca, Paul, J. P. Bowen i J. I. Siddiqi. Formal methods: State of the art and new directions. London: Springer, 2010.
Znajdź pełny tekst źródłaKonferencja, 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.
Znajdź pełny tekst źródłaSentā), 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.
Znajdź pełny tekst źródłaInternational 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. Redaktorzy Margaria-Steffen Tiziana 1964-, Massink Mieke, ACM Sigsoft i ESEC/FSE 2005 (2005 : Lisbon, Portugal). New York: Association for Computing Machinery, 2005.
Znajdź pełny tekst źródłaInternational 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.
Znajdź pełny tekst źródłaInternational 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. Redaktorzy Margaria-Steffen Tiziana 1964-, Massink Mieke, ACM Sigsoft i ESEC/FSE 2005 (2005 : Lisbon, Portugal). New York: Association for Computing Machinery, 2005.
Znajdź pełny tekst źródłaWang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Znajdź pełny tekst źródłaWang, Jiacun, i William Tepfenhart. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Znajdź pełny tekst źródłaWang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Znajdź pełny tekst źródłaWang, Jiacun. Formal Methods in Computer Science. Routledge, 2019.
Znajdź pełny tekst źródłaWang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Znajdź pełny tekst źródłaWang, Jiacun. Formal Methods in Computer Science. Taylor & Francis Group, 2019.
Znajdź pełny tekst źródłaHarrison, Michael, i Harold Thimbleby. Formal Methods in Human-Computer Interaction. University of Cambridge ESOL Examinations, 2009.
Znajdź pełny tekst źródłaHerbert, J. Formal Methods in Digital Design. University of Cambridge ESOL Examinations, 1998.
Znajdź pełny tekst źródłaRyan, P. Formal Methods in Systems Engineering. Springer London, Limited, 1993.
Znajdź pełny tekst źródłaBoulanger, Jean-Louis. Formal Methods Applied to Complex Systems. Wiley & Sons, Incorporated, John, 2014.
Znajdź pełny tekst źródłaHabrias, Henri, i Marc Frappier. Software Specification Methods. Wiley & Sons, Incorporated, John, 2013.
Znajdź pełny tekst źródła(Editor), Mark D. Aagaard, i John W. O'Leary (Editor), red. Formal Methods in Computer-Aided Design. Springer, 2002.
Znajdź pełny tekst źródłaFages, François. Formal Cell Biology: An Introduction to Formal Methods in Systems Biology. Taylor & Francis Group, 2013.
Znajdź pełny tekst źródłaBoulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. Wiley & Sons, Incorporated, John, 2014.
Znajdź pełny tekst źródłaBoulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. Wiley & Sons, Incorporated, John, 2014.
Znajdź pełny tekst źródła