Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Mathematics and computer science [1] proceedings of the CWI Symposium, Nov. 1983 / ed by J. W. de Bakker ... von Bakker, Jacobus W. de [oth] Symposium on Mathematics and Computer Science 1983 Amsterdam [oth] Reihen: ; 1 \| Centrum voor Wiskunde en Informatica CWI monographs ; 1 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam North-Holland 1986 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) CWI 1983 1. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Program correctness over abstract data types, with error-state semantics J. V. Tucker; J. I. Zucker von Tucker, John V [aut] Zucker, Jeffery I [aut] Reihen: ; 500 \| Centrum voor Wiskunde en Informatica CWI monographs ; 500 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland 1988 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) TUCk j 1988:1 2.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche