Książki na temat „Formal methods for software engineering”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Formal methods for software engineering”.
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.
Calinescu, Radu, i Corina S. Păsăreanu, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-92124-8.
Pełny tekst źródłaRoggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider i Siraj Ahmed Shaikh. Formal Methods for Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-38800-3.
Pełny tekst źródłaSchlingloff, Bernd-Holger, i Ming Chai, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6.
Pełny tekst źródłaRiesco, Adrian, i Min Zhang, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17244-1.
Pełny tekst źródłaBreitman, Karin, i Ana Cavalcanti, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10373-5.
Pełny tekst źródłaLiu, Shaoying, Tom Maibaum i Keijiro Araki, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88194-0.
Pełny tekst źródłaDuan, Zhenhua, i Luke Ong, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68690-5.
Pełny tekst źródłaGeorge, Chris, i Huaikou Miao, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36103-0.
Pełny tekst źródłaOgata, Kazuhiro, Mark Lawford i Shaoying Liu, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47846-3.
Pełny tekst źródłaCerone, Antonio, i Marco Roveri, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74781-1.
Pełny tekst źródłaGroves, Lindsay, i Jing Sun, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41202-8.
Pełny tekst źródłaButler, Michael, Michael G. Hinchey i María M. Larrondo-Petrie, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-76650-6.
Pełny tekst źródłaDe Nicola, Rocco, i Eva Kühn, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41591-8.
Pełny tekst źródłaCimatti, Alessandro, i Marjan Sirjani, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66197-1.
Pełny tekst źródłaAoki, Toshiaki, i Kenji Taguchi, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34281-3.
Pełny tekst źródłaCalinescu, Radu, i Bernhard Rumpe, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22969-0.
Pełny tekst źródłaLin, Shang-Wei, Zhe Hou i Brendan Mahoney, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63406-3.
Pełny tekst źródłaCanal, Carlos, i Akram Idani, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-15201-1.
Pełny tekst źródłaJohnsen, Einar Broch, i Ina Schaefer, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-92970-5.
Pełny tekst źródłaLiu, Zhiming, i Jifeng He, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11901433.
Pełny tekst źródłaHierons, Robert M., Mercedes G. Merayo i Mario Bravetti, red. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40561-7.
Pełny tekst źródłaSun, Jing, i Meng Sun, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02450-5.
Pełny tekst źródłaCamara, Javier, i Martin Steffen, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57506-9.
Pełny tekst źródłaDong, Jin Song, i Huibiao Zhu, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16901-4.
Pełny tekst źródłaCounsell, Steve, i Manuel Núñez, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-05032-4.
Pełny tekst źródłaLau, Kung-Kiu, i Richard Banach, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11576280.
Pełny tekst źródłaEleftherakis, George, Mike Hinchey i Mike Holcombe, red. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33826-7.
Pełny tekst źródłaGiannakopoulou, Dimitra, i Gwen Salaün, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10431-7.
Pełny tekst źródłaQin, Shengchao, i Zongyan Qiu, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24559-6.
Pełny tekst źródłaBarthe, Gilles, Alberto Pardo i Gerardo Schneider, red. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24690-6.
Pełny tekst źródłaMerz, Stephan, i Jun Pang, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11737-9.
Pełny tekst źródłaBianculli, Domenico, Radu Calinescu i Bernhard Rumpe, red. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-49224-6.
Pełny tekst źródłaÖlveczky, Peter Csaba, i Gwen Salaün, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-30446-1.
Pełny tekst źródłaDavies, Jim, Wolfram Schulte i Mike Barnett, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b102837.
Pełny tekst źródłaDong, Jin Song, i Jim Woodcock, red. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b94115.
Pełny tekst źródłade Boer, Frank, i Antonio Cerone, red. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58768-0.
Pełny tekst źródłaButler, Michael, Sylvain Conchon i Fatiha Zaïdi, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-25423-4.
Pełny tekst źródłaAit-Ameur, Yamine, i Shengchao Qin, red. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32409-4.
Pełny tekst źródłaFerreira, Carla, i Tim A. C. Willemse, red. Software Engineering and Formal Methods. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-47115-5.
Pełny tekst źródłaLi, Yi, i Sofiène Tahar, red. Formal Methods and Software Engineering. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-7584-6.
Pełny tekst źródłaMartin, Loomes, red. Software engineering mathematics: Formal methods demystified. London: Pitman, 1988.
Znajdź pełny tekst źródłaHußmann, Heinrich, red. Formal Foundations for Software Engineering Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63613-7.
Pełny tekst źródłaFormal foundations for software engineering methods. Berlin: Springer, 1997.
Znajdź pełny tekst źródłaHolcombe, W. M. L. Formal methods and software engineering group. Sheffield: University of Sheffield, Dept. of Computer Science, 1995.
Znajdź pełny tekst źródłaMartin, Loomes, red. Software engineering mathematics: Formal methods demystified. London: Taylor & Francis, 1997.
Znajdź pełny tekst źródłaSoftware engineering. Berlin: Springer, 2006.
Znajdź pełny tekst źródłaAlagar, V. S., Laks V. S. Lakshmanan i F. Sadri, red. Formal Methods in Databases and Software Engineering. London: Springer London, 1993. http://dx.doi.org/10.1007/978-1-4471-3213-4.
Pełny tekst źródłaS, Alagar V., red. Formal methods in databases and software engineering. Amsterdam: North-Holland, 1994.
Znajdź pełny tekst źródłaPhD, Ryan Peter, i Sennett C. T, red. Formal methods in systems engineering. London: Springer Verlag, 1993.
Znajdź pełny tekst źródłaCerone, Antonio, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini i Gentiane Venture, red. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-12429-7.
Pełny tekst źródła