Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "122824547"
im Bestand: Gesamter Bestand

11 - 20 von 26

	11	Fundamental approaches to software engineering Berlin : Springer, 2001
	12	Fundamental approaches to software engineering Berlin : Springer, 2001
	13	Formal foundations for software engineering methods Hußmann, Heinrich. - Berlin : Springer, 1997
	14	Software-Engineering im Unterricht der Hochschulen Stuttgart : Teubner, 1994
	15	The Korso case study for software engineering with formal methods Cornelius, Felix. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1994
	16	Nondeterminism in algebraic specifications and algebraic programs Hußmann, Heinrich. - Boston : Birkhäuser, 1993
	17	Nondeterminism in algebraic specifications and algebraic programs Hußmann, Heinrich. - Ludwig-Maximilians-Universität München, 1993
	18	Synergy between formal and pragmatic software engineering methods Hußmann, Heinrich. - München : Inst. für Informatik, 1993
	19	Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem Hußmann, Heinrich. - München : Inst. für Informatik, 1993
	20	Nondeterministic algebraic specifications Hußmann, Heinrich. - München : Bibliothek der Fak. für Mathematik und Informatik, Techn. Univ., 1991