Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Materialarten:	Online Ressourcen

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

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

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

1 - 2 von 2

	1	From object orientation to formal methods Berlin : Springer, 2004
	2	Generator induction in order sorted algebras Enthalten in Formal aspects of computing Bd. 3, Nr. 1, date:1.1991: 2-20