Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "112127843"
im Bestand: Gesamter Bestand

1 - 10 von 23

1	The French School of Programming Cham : Springer International Publishing, Imprint: Springer, 2024, 1st ed. 2024
2	On the verification of SCOOP programs Caltais, Georgiana. - Konstanz : KOPS Universität Konstanz, 2017
3	Present and Ulterior Software Engineering Cham : Springer International Publishing, 2017, 1st edition 2017
4	Touch of Class Meyer, Bertrand. - Berlin : Springer Berlin, 2016, Softcover reprint of the original 1st edition 2009	Ankündigung
5	Software Engineering Cham : Springer International Publishing, 2015, 1st ed. 2015
6	Empirical software engineering and verification Berlin : Springer, 2012
7	Empirical Software Engineering and Verification Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
8	Tools for practical software verification Berlin : Springer, 2012
9	Tools for Practical Software Verification Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
10	Software engineering techniques [Berlin : Springer, 2011