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

41 - 48 von 48
<< < > >>


Online Ressourcen 41 Formal methods and software engineering
Berlin : Springer, 2006 		Online Ressource
Online Ressourcen 42 Formal Methods and Software Engineering
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 		Online Ressource
Online Ressourcen 43 Formal methods and software engineering
Berlin : Springer, c 2003 		Online Ressource
Online Ressourcen 44 Formal methods and software engineering
Berlin : Springer, 2002 		Online Ressource
Online Ressourcen 45 Formal Methods in Databases and Software Engineering
London : Springer London, 1993 		Online Ressource
Artikel 46 Introduction to the Software Engineering and Formal Methods 2013 special issue
Enthalten in Software and systems modeling Bd. 16, 7.5.2015, Nr. 1, date:2.2017: 5-6 		Online Ressource
Artikel 47 Software engineering and formal methods: SEFM 2019 special section
Enthalten in Software and systems modeling Bd. 20, 12.3.2021, Nr. 2, date:4.2021: 291-292 		Online Ressource
Artikel 48 Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
Enthalten in Software and systems modeling Bd. 10, 23.7.2010, Nr. 2, date:5.2011: 143-145 		Online Ressource


41 - 48 von 48
<< < > >>




Materialarten

Alle Materialarten > Online Ressourcen (48)

Standorte

Alle Standorte

Aktionen

Aktionen


E-Mail-IconAdministration