Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).

Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.

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