Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

Formale Programmentwicklung mit dynamischer Logik / Maritta Heisel

Von: Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: DUV InformatikVerlag: Wiesbaden : Dt. Univ.-Verl., 1992Beschreibung: XI, 288 S. : IllISBN:
  • 3824420317
Schlagwörter: Genre/Form: MSC: MSC: *68Q60 | 68T15 | 68Q55 | 68N01 | 68-02 | 68T20RVK: RVK: ST 230Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1991 Call number: Grundsignatur: 92 DA 124PPN: PPN: 276934458
Exemplare
Medientyp Heimatbibliothek Sammlung Standort Signatur Exemplarnummer Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 92 DA 124 ;c Verfügbar 49821439090
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 92 DA 124 ;b Verfügbar 31207871
Freihandbestand ausleihbar Fachbibliothek Informatik D.Hei Bibliothek / frei aufgestellt D.Hei(14858) Verfügbar 000229928090
Anzahl Vormerkungen: 0