Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Frankfurt: Die Servicetheke Frankfurt ist heute nur bis 17 Uhr besetzt. Bitte beachten Sie dies für Anmeldung und Ausleihe von Sondermaterialien.

Frankfurt: The Frankfurt service desk is only open until 5 p.m. today. Please note this when registering and borrowing special materials.

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

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

11 - 17 von 17

	11	Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem Hußmann, Heinrich. - München : Inst. für Informatik, 1993
	12	Nondeterministic algebraic specifications Hußmann, Heinrich. - München : Bibliothek der Fak. für Mathematik und Informatik, Techn. Univ., 1991
	13	Nichtdeterministische algebraische Spezifikationen Hußmann, Heinrich, 1989
	14	Nichtdeterministische algebraische Spezifikationen Hußmann, Heinrich, 1989
	15	Towards advanced programming environments based on algebraic concepts Broy, Manfred. - Passau : Fak. für Mathematik u. Informatik, Univ. c/o S. Putz, 1988
	16	Rapid prototyping for algebraic specifications Hußmann, Heinrich. - Passau : Fak. für Mathematik u. Informatik, Univ., Dekanat, 1985
	17	Unification in conditional equational theories Hußmann, Heinrich. - Passau : Fak. für Mathematik u. Informatik, Univ., Dekanat, 1985