Książki na temat „Formal methds”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Formal methds”.
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.
Boulanger, Jean-Louis, red. Formal Methods. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118561898.
Pełny tekst źródłaHavelund, Klaus, Jan Peleska, Bill Roscoe i Erik de Vink, red. Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7.
Pełny tekst źródłaNielson, Flemming, i Hanne Riis Nielson. Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3.
Pełny tekst źródłaAraki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.
Znajdź pełny tekst źródłaBrat, Guillaume, Neha Rungta i Arnaud Venet, red. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38088-4.
Pełny tekst źródłaDerrick, John, Stefania Gnesi, Diego Latella i Helen Treharne, red. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30729-4.
Pełny tekst źródłaHavelund, Klaus, Gerard Holzmann i Rajeev Joshi, red. NASA Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9.
Pełny tekst źródłaPolikarpova, Nadia, i Steve Schneider, red. Integrated Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66845-1.
Pełny tekst źródłaLeuschel, Michael, i Heike Wehrheim, red. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00255-7.
Pełny tekst źródłaAlbert, Elvira, i Emil Sekerinski, red. Integrated Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10181-1.
Pełny tekst źródłaRayadurgam, Sanjai, i Oksana Tkachuk, red. NASA Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40648-0.
Pełny tekst źródłaMonin, Jean-François, i Michael G. Hinchey, red. Understanding Formal Methods. London: Springer London, 2003. http://dx.doi.org/10.1007/978-1-4471-0043-0.
Pełny tekst źródłaRomijn, Judi, Graeme Smith i Jaco van de Pol, red. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11589976.
Pełny tekst źródłaBobaru, Mihaela, Klaus Havelund, Gerard J. Holzmann i Rajeev Joshi, red. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20398-5.
Pełny tekst źródłaBadger, Julia M., i Kristin Yvonne Rozier, red. NASA Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06200-6.
Pełny tekst źródłaBadger, Julia M., i Kristin Yvonne Rozier, red. NASA Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-20652-9.
Pełny tekst źródłaJohnsen, Einar Broch, i Luigia Petre, red. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38613-8.
Pełny tekst źródłaGibbons, Jeremy, i José Nuno Oliveira, red. Teaching Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04912-5.
Pełny tekst źródłaDutle, Aaron, César Muñoz i Anthony Narkawicz, red. NASA Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-77935-5.
Pełny tekst źródłaBarrett, Clark, Misty Davies i Temesghen Kahsai, red. NASA Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57288-8.
Pełny tekst źródłaDean, C. Neville, i Raymond T. Boute, red. Teaching Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b102075.
Pełny tekst źródłaBoiten, Eerke A., John Derrick i Graeme Smith, red. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b96106.
Pełny tekst źródłaGoodloe, Alwyn E., i Suzette Person, red. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28891-3.
Pełny tekst źródłaDongol, Brijesh, Luigia Petre i Graeme Smith, red. Formal Methods Teaching. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32441-4.
Pełny tekst źródłaButler, Michael, Luigia Petre i Kaisa Sere, red. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47884-1.
Pełny tekst źródłaÁbrahám, Erika, i Marieke Huisman, red. Integrated Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33693-0.
Pełny tekst źródłaDongol, Brijesh, i Elena Troubitsyna, red. Integrated Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63461-2.
Pełny tekst źródłaFuria, Carlo A., i Kirsten Winter, red. Integrated Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-98938-9.
Pełny tekst źródłaLee, Ritchie, Susmit Jha, Anastasia Mavridou i Dimitra Giannakopoulou, red. NASA Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55754-6.
Pełny tekst źródłaAhrendt, Wolfgang, i Silvia Lizeth Tapia Tarifa, red. Integrated Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-34968-4.
Pełny tekst źródłaMéry, Dominique, i Stephan Merz, red. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16265-7.
Pełny tekst źródłaGrieskamp, Wolfgang, Thomas Santen i Bill Stoddart, red. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-40911-4.
Pełny tekst źródłaDavies, Jim, i Jeremy Gibbons, red. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73210-5.
Pełny tekst źródłaDutle, Aaron, Mariano M. Moscato, Laura Titolo, César A. Muñoz i Ivan Perez, red. NASA Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-76384-8.
Pełny tekst źródłaAustin, Stephen. Formal methods: A survey. Teddington: National Physical Laboratory, 1993.
Znajdź pełny tekst źródłaCavalcanti, Ana, i Dennis R. Dams, red. FM 2009: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-05089-3.
Pełny tekst źródłaEloy, Sara, David Leite Viana, Franklim Morais i Jorge Vieira Vaz, red. Formal Methods in Architecture. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-57509-0.
Pełny tekst źródłaMisra, Jayadev, Tobias Nipkow i Emil Sekerinski, red. FM 2006: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11813040.
Pełny tekst źródłaJones, Cliff, Pekka Pihlajasaari i Jun Sun, red. FM 2014: Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06410-9.
Pełny tekst źródłaGiannakopoulou, Dimitra, i Dominique Méry, red. FM 2012: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32759-9.
Pełny tekst źródłaButler, Michael, i Wolfram Schulte, red. FM 2011: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21437-0.
Pełny tekst źródłaHierons, Robert M., Jonathan P. Bowen i Mark Harman, red. Formal Methods and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78917-8.
Pełny tekst źródłaAraki, Keijiro, Stefania Gnesi i Dino Mandrioli, red. FME 2003: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.
Pełny tekst źródłaFitzgerald, John, Ian J. Hayes i Andrzej Tarlecki, red. FM 2005: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b27882.
Pełny tekst źródłaWing, Jeannette M., Jim Woodcock i Jim Davies, red. FM’99 — Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48118-4.
Pełny tekst źródłaWing, Jeannette M., Jim Woodcock i Jim Davies, red. FM’99 — Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48119-2.
Pełny tekst źródłaRuggles, C. L. N., red. Formal Methods in Standards. London: Springer London, 1990. http://dx.doi.org/10.1007/978-1-4471-3419-0.
Pełny tekst źródłaBjørner, Nikolaj, i Frank de Boer, red. FM 2015: Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19249-9.
Pełny tekst źródłaFitzgerald, John, Constance Heitmeyer, Stefania Gnesi i Anna Philippou, red. FM 2016: Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48989-6.
Pełny tekst źródłaCuellar, Jorge, Tom Maibaum i Kaisa Sere, red. FM 2008: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-68237-0.
Pełny tekst źródła