Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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

31 - 40 von 48
<< < > >>


Online Ressourcen 31 Unifying Theories of Programming and Formal Engineering Methods
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 		Online Ressource
Online Ressourcen 32 Formal Methods and Software Engineering
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 		Online Ressource
Online Ressourcen 33 Formal Methods for Model-Driven Engineering
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 		Online Ressource
Online Ressourcen 34 Software Engineering and Formal Methods
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 		Online Ressource
Online Ressourcen 35 Formal Methods and Software Engineering
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 		Online Ressource
Online Ressourcen 36 Software Engineering and Formal Methods
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 		Online Ressource
Online Ressourcen 37 Formal Methods and Software Engineering
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 		Online Ressource
Online Ressourcen 38 Formal methods and software engineering
Berlin : Springer, 2009 		Online Ressource
Online Ressourcen 39 Formal methods and software engineering
Berlin : Springer, 2008 		Online Ressource
Online Ressourcen 40 Formal Methods and Software Engineering
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 		Online Ressource


31 - 40 von 48
<< < > >>




Materialarten

Alle Materialarten > Online Ressourcen (48)

Standorte

Alle Standorte

Aktionen

Aktionen


E-Mail-IconAdministration