> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Programmentwicklung durch Spezifikation und Transformation / Bernd Krieg-Brückner, Hrsg 2 Erschienen: Bremen: [Univ., Fachbereich Mathematik und Informatik], 1994 Erschienen in: Programmentwicklung durch Spezifikation und Transformation / Bernd Krieg-Brückner, Hrsg. ; 2 Informatik ; 94,10 Umfang: Getr. Zählung; graph. Darst Sprache: Englisch RVK-Notation: SS 5533 : Universität Bremen: Fachbereich Mathematik/Informatik: Bericht Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Universität <Bremen> / Fachbereich Mathematik, Informatik: Bericht
Bereichsbibliothek DrePunct – Magazin Signatur: 95 4 46315 001 Barcode: 30084233 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden