Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 
 


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
<< < > >>


E-Mail-IconAdministration