Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Materialarten:	Online Ressourcen

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

1 - 10 von 12

	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	Software Engineering Cham : Springer International Publishing, 2015, 1st ed. 2015
	5	Empirical Software Engineering and Verification Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	6	Tools for Practical Software Verification Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	7	Software Engineering Techniques Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
	8	Touch of Class Meyer, Bertrand. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
	9	Balancing agility and formalism in software engineering Berlin : Springer, 2008
	10	Verified software: theories, tools, experiments Berlin : Springer, 2008

1 - 10 von 12

Alle Materialarten > Online Ressourcen (12)

Alle Standorte

Aktionen

Administration