> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Nondeterminism in algebraic specifications and algebraic programs Beteiligte: Hußmann, Heinrich [VerfasserIn] Erschienen: Boston; Berlin [u.a.]: Birkhäuser, 1993 Erschienen in: Progress in theoretical computer science ; 8 Umfang: VII, 253 S. Sprache: Englisch ISBN: 0817637001; 3764337001 RVK-Notation: ST 600 : Mathematik, Statistik ST 130 : Allgemeines Schlagwörter: Algebraische Spezifikation > Nichtdeterminismus > Termersetzungssystem Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Progress in theoretical computer science
Bereichsbibliothek DrePunct – Magazin Signatur: 2007 8 047663 Barcode: 31876992 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.