Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

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

1 - 9 von 9

	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
	8	Rapid prototyping for algebraic specifications Hußmann, Heinrich. - Passau : Fak. für Mathematik u. Informatik, Univ., Dekanat, 1985
	9	Unification in conditional equational theories Hußmann, Heinrich. - Passau : Fak. für Mathematik u. Informatik, Univ., Dekanat, 1985

1 - 9 von 9

Alle Materialarten > Bücher (9)

Alle Kataloge/Sammlungen > Teilbestand nach VGG (9)

Alle Standorte

Aktionen