Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC ISBD

A meta-calculus for formal system development / Matthias Weber

Von: Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195Verlag: München ; Wien : Oldenbourg, 1991Beschreibung: 197 SISBN:
  • 3486219944
Schlagwörter: Genre/Form: MSC: MSC: *68Q60 | 68-02RVK: RVK: SI 210Bearbeitungsvermerk:
  • 3
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1990 Call number: Grundsignatur: 91 DA 117PPN: PPN: 016041372
Exemplare
Medientyp Heimatbibliothek Sammlung Standort Signatur Exemplarnummer Status Fälligkeitsdatum Barcode Vormerkungen
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 91 DA 117 ;b Verfügbar 31027926
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 91 DA 117 ;c Verfügbar 31027880
Freihandbestand ausleihbar Fachbibliothek Informatik F.Web Bibliothek / frei aufgestellt F.Web(11390) Verfügbar 000166324090
Anzahl Vormerkungen: 0

Archivierung prüfen 20240511 DE-640 3 pdager

Powered by Koha