Katalog der Deutschen Nationalbibliothek

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

1 - 7 von 7

	1	Software-Engineering im Unterricht der Hochschulen Stuttgart : Teubner, 1994
	2	The Korso case study for software engineering with formal methods Cornelius, Felix. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1994
	3	Nondeterminism in algebraic specifications and algebraic programs Hußmann, Heinrich. - Boston : Birkhäuser, 1993
	4	Synergy between formal and pragmatic software engineering methods Hußmann, Heinrich. - München : Inst. für Informatik, 1993
	5	Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem Hußmann, Heinrich. - München : Inst. für Informatik, 1993
	6	Nondeterministic algebraic specifications Hußmann, Heinrich. - München : Bibliothek der Fak. für Mathematik und Informatik, Techn. Univ., 1991
	7	Towards advanced programming environments based on algebraic concepts Broy, Manfred. - Passau : Fak. für Mathematik u. Informatik, Univ. c/o S. Putz, 1988