Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Teilbestand nach VGG
- Bestandssichten:	Gesamter Bestand

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

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