> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: From descriptive specifications to operational ones : a powerful transformation rule, its applications and variants Beteiligte: Achatz, Klaus [VerfasserIn]; Partsch, Helmut [VerfasserIn] Erschienen: Ulm: Univ., Fakultät für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,13 Umfang: 59 S. Sprache: Englisch RVK-Notation: SS 5525 : Ulmer Informatik-Berichte Schlagwörter: Theoretische Informatik Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Ulmer Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 1997 4 007592 001 Barcode: 10425778 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden