Katalog der Deutschen Nationalbibliothek

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

91 - 98 von 98

	91	Formal methods and software engineering Berlin : Springer, 2002
	92	Formal methods and software engineering Berlin : Springer, 2002
	93	Formal methods in databases and software engineering London : Springer, 1993
	94	Formal Methods in Databases and Software Engineering London : Springer London, 1993
	95	Synergy between formal and pragmatic software engineering methods Hußmann, Heinrich. - München : Inst. für Informatik, 1993
	96	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
	97	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
	98	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