Bücher zum Thema „Formal methods for software engineering“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Bücher für die Forschung zum Thema "Formal methods for software engineering" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Calinescu, Radu, und Corina S. Păsăreanu, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-92124-8.
Der volle Inhalt der QuelleRoggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider und Siraj Ahmed Shaikh. Formal Methods for Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-38800-3.
Der volle Inhalt der QuelleSchlingloff, Bernd-Holger, und Ming Chai, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6.
Der volle Inhalt der QuelleRiesco, Adrian, und Min Zhang, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17244-1.
Der volle Inhalt der QuelleBreitman, Karin, und Ana Cavalcanti, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10373-5.
Der volle Inhalt der QuelleLiu, Shaoying, Tom Maibaum und Keijiro Araki, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88194-0.
Der volle Inhalt der QuelleDuan, Zhenhua, und Luke Ong, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68690-5.
Der volle Inhalt der QuelleGeorge, Chris, und Huaikou Miao, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36103-0.
Der volle Inhalt der QuelleOgata, Kazuhiro, Mark Lawford und Shaoying Liu, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47846-3.
Der volle Inhalt der QuelleCerone, Antonio, und Marco Roveri, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74781-1.
Der volle Inhalt der QuelleGroves, Lindsay, und Jing Sun, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41202-8.
Der volle Inhalt der QuelleButler, Michael, Michael G. Hinchey und María M. Larrondo-Petrie, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-76650-6.
Der volle Inhalt der QuelleDe Nicola, Rocco, und Eva Kühn, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41591-8.
Der volle Inhalt der QuelleCimatti, Alessandro, und Marjan Sirjani, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66197-1.
Der volle Inhalt der QuelleAoki, Toshiaki, und Kenji Taguchi, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34281-3.
Der volle Inhalt der QuelleCalinescu, Radu, und Bernhard Rumpe, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22969-0.
Der volle Inhalt der QuelleLin, Shang-Wei, Zhe Hou und Brendan Mahoney, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63406-3.
Der volle Inhalt der QuelleCanal, Carlos, und Akram Idani, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-15201-1.
Der volle Inhalt der QuelleJohnsen, Einar Broch, und Ina Schaefer, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-92970-5.
Der volle Inhalt der QuelleLiu, Zhiming, und Jifeng He, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11901433.
Der volle Inhalt der QuelleHierons, Robert M., Mercedes G. Merayo und Mario Bravetti, Hrsg. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40561-7.
Der volle Inhalt der QuelleSun, Jing, und Meng Sun, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02450-5.
Der volle Inhalt der QuelleCamara, Javier, und Martin Steffen, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57506-9.
Der volle Inhalt der QuelleDong, Jin Song, und Huibiao Zhu, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16901-4.
Der volle Inhalt der QuelleCounsell, Steve, und Manuel Núñez, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-05032-4.
Der volle Inhalt der QuelleLau, Kung-Kiu, und Richard Banach, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11576280.
Der volle Inhalt der QuelleEleftherakis, George, Mike Hinchey und Mike Holcombe, Hrsg. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33826-7.
Der volle Inhalt der QuelleGiannakopoulou, Dimitra, und Gwen Salaün, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10431-7.
Der volle Inhalt der QuelleQin, Shengchao, und Zongyan Qiu, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24559-6.
Der volle Inhalt der QuelleBarthe, Gilles, Alberto Pardo und Gerardo Schneider, Hrsg. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24690-6.
Der volle Inhalt der QuelleMerz, Stephan, und Jun Pang, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11737-9.
Der volle Inhalt der QuelleBianculli, Domenico, Radu Calinescu und Bernhard Rumpe, Hrsg. Software Engineering and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-49224-6.
Der volle Inhalt der QuelleÖlveczky, Peter Csaba, und Gwen Salaün, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-30446-1.
Der volle Inhalt der QuelleDavies, Jim, Wolfram Schulte und Mike Barnett, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b102837.
Der volle Inhalt der QuelleDong, Jin Song, und Jim Woodcock, Hrsg. Formal Methods and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b94115.
Der volle Inhalt der Quellede Boer, Frank, und Antonio Cerone, Hrsg. Software Engineering and Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58768-0.
Der volle Inhalt der QuelleButler, Michael, Sylvain Conchon und Fatiha Zaïdi, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-25423-4.
Der volle Inhalt der QuelleAit-Ameur, Yamine, und Shengchao Qin, Hrsg. Formal Methods and Software Engineering. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32409-4.
Der volle Inhalt der QuelleFerreira, Carla, und Tim A. C. Willemse, Hrsg. Software Engineering and Formal Methods. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-47115-5.
Der volle Inhalt der QuelleLi, Yi, und Sofiène Tahar, Hrsg. Formal Methods and Software Engineering. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-7584-6.
Der volle Inhalt der QuelleMartin, Loomes, Hrsg. Software engineering mathematics: Formal methods demystified. London: Pitman, 1988.
Den vollen Inhalt der Quelle findenHußmann, Heinrich, Hrsg. Formal Foundations for Software Engineering Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63613-7.
Der volle Inhalt der QuelleFormal foundations for software engineering methods. Berlin: Springer, 1997.
Den vollen Inhalt der Quelle findenHolcombe, W. M. L. Formal methods and software engineering group. Sheffield: University of Sheffield, Dept. of Computer Science, 1995.
Den vollen Inhalt der Quelle findenMartin, Loomes, Hrsg. Software engineering mathematics: Formal methods demystified. London: Taylor & Francis, 1997.
Den vollen Inhalt der Quelle findenSoftware engineering. Berlin: Springer, 2006.
Den vollen Inhalt der Quelle findenAlagar, V. S., Laks V. S. Lakshmanan und F. Sadri, Hrsg. Formal Methods in Databases and Software Engineering. London: Springer London, 1993. http://dx.doi.org/10.1007/978-1-4471-3213-4.
Der volle Inhalt der QuelleS, Alagar V., Hrsg. Formal methods in databases and software engineering. Amsterdam: North-Holland, 1994.
Den vollen Inhalt der Quelle findenPhD, Ryan Peter, und Sennett C. T, Hrsg. Formal methods in systems engineering. London: Springer Verlag, 1993.
Den vollen Inhalt der Quelle findenCerone, Antonio, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini und Gentiane Venture, Hrsg. 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.
Der volle Inhalt der Quelle