Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	The Implementation of the Icon programming language Ralph E. Griswold and Madge T. Griswold von Griswold, Ralph E, 1934- [aut] Griswold, Madge T [aut] Reihen: Princeton series in computer science Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Princeton Princeton University Press 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) GRI r4 1986:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Computer-aided verification of coordinating processes the automata-theoretic approach Robert P. Kurshan von Kurshan, Robert P, 1943- [aut] Reihen: Princeton series in computer science Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Princeton, NJ Princeton Univ. Press 1994 Online-Ressourcen: Verlagsangaben 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) KUR r2 1994:1 1.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