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

By: Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: 1994Description: VI, 230 SGenre/Form: Action note:
  • 1
Dissertation note: Karlsruhe, Univ., Habil.schr., 1994 Call number: Grundsignatur: 94 DE 61PPN: PPN: 1114790214
Holdings
Item type Home library Collection Shelving location Call number Copy number Status Notes Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd math 7.91 Geschlossenes Magazin 94 DE 61 ;c Available 41135636
Magazinbestand ausleihbar Bibliothek Campus Süd math 7.91 Geschlossenes Magazin 94 DE 61 ;b Available 47700157090
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Hab. / Loh Available 36179911090
Institutsbestand Fachbibliothek Mathematik Archiv FBM Hab. / Loh Not for loan Standort: Archiv
Total holds: 0

Archivierung prüfen 20240511 DE-640 1 pdager