Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

Ergebnis der Suche nach: tit all "Software engineering and formal methods."
im Bestand: Gesamter Bestand

61 - 70 von 98

61	Software Engineering and Formal Methods Cham : Springer International Publishing, 2014, Aufl. 2014	Verlagsinformation
62	Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
63	Formal methods and software engineering Heidelberg : Springer, 2013
64	Software engineering and formal methods Heidelberg : Springer, 2013
65	Software Engineering and Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
66	Unifying Theories of Programming and Formal Engineering Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
67	Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
68	Formal methods and software engineering Berlin : Springer, 2012
69	Formal Methods for Model-Driven Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
70	Software engineering and formal methods Berlin : Springer, 2012