> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Verification of a prolog compiler - first steps with KIV Beteiligte: Schellhorn, Gerhard [VerfasserIn]; Ahrendt, Wolfgang [VerfasserIn] Erschienen: Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,05 Umfang: 43 S.; graph. Darst Sprache: Englisch RVK-Notation: SS 5525 : Ulmer Informatik-Berichte Schlagwörter: Verifikation > PROLOG > Compiler Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Ulmer Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 96 4 27429 001 Barcode: 10011478 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden