Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Semantische Grundlagen einer Verbindung zwischen algebraischer und algorithmischer Spezifikationsmethode von Wolf, Markus Materialtyp: Text; Format: Druck Verlag: Universität Saarbrücken 1992 Hochschulschriftenvermerk: Saarbrücken, Univ., Dipl., 1992 Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) 1992 Wolf, Markus. Zum Korb hinzufügen (Entfernen)
	2.	Specification of abstract data types Jacques Loeckx; Hans-Dieter Ehrich; Markus Wolf von Loeckx, Jacques, 1931-2020 [aut] Ehrich, Hans-Dieter [aut] Wolf, Markus [aut] Reihen: Wiley-Teubner computing Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Stuttgart Teubner 1996Verlag: Chichester [u.a.] Wiley Teubner 1996 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LOE j 1996:1 3.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche