Katalog der Deutschen Nationalbibliothek

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

61 - 66 von 66

	61	Formal methods in databases and software engineering London : Springer, 1993
	62	Formal Methods in Databases and Software Engineering London : Springer London, 1993
	63	Synergy between formal and pragmatic software engineering methods Hußmann, Heinrich. - München : Inst. für Informatik, 1993
	64	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
	65	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
	66	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