Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	On constructive specifications of abstract data types using temporal logic Frank Leßke. TUM, Technische Universität München, Institut für Informatik, Sonderforschungsbereich 342: Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen von Leßke, Frank, 1961- [aut] Reihen: ; 19914600 \| Technische Universität München Institut für Informatik, Technische Universität München ; 19914600 \| Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen SFB-Bericht / A ; 19913200 \| \| Materialtyp: Text; Format: Druck Sprache: Englisch, Deutsch Verlag: München SFB 342, Inst. f. Informatik 1991 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) München UNI INF TUM-I9146. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Abstrakte Datentypen und temporale Logik ein kombinierter Spezifikationsansatz Frank Leßke von Leßke, Frank, 1961- [aut] Reihen: Berichte aus der Informatik Auflage: Als Ms. gedr. Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Aachen Shaker 1995 Hochschulschriftenvermerk: Zugl.: München, Univ., Diss., 1994 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LEß f 1995:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha