Normale Ansicht MARC-Ansicht ISBD

Verified computing and programs in PASCAL-XSC / von Rudolf Lohner

Von: Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: 1994Beschreibung: VI, 230 SGenre/Form: Bearbeitungsvermerk:
  • 1
Hochschulschriftenvermerk: Karlsruhe, Univ., Habil.schr., 1994 Call number: Grundsignatur: 94 DE 61PPN: PPN: 1114790214
Exemplare
Medientyp Heimatbibliothek Sammlung Standort Signatur Exemplarnummer Status Hinweise Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd math 7.91 Geschlossenes Magazin 94 DE 61 ;c Verfügbar 41135636
Magazinbestand ausleihbar Bibliothek Campus Süd math 7.91 Geschlossenes Magazin 94 DE 61 ;b Verfügbar 47700157090
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Hab. / Loh Verfügbar 36179911090
Institutsbestand Fachbibliothek Mathematik Archiv FBM Hab. / Loh Nicht ausleihbar Standort: Archiv
Anzahl Vormerkungen: 0

Archivierung prüfen 20240511 DE-640 1 pdager