Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Aktuell erscheint zeitweise die Meldung „Too Many Requests“. Wir arbeiten daran, das Probleme zu beheben. Wir bitten Sie die Störung zu entschuldigen.

Die Deutsche Nationalbibliothek ist am Donnerstag, 14. Mai 2026 an beiden Standorten geschlossen. // The German National Library will be closed on Thursday 14 May 2026 at both locations.

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