Formale Programmentwicklung mit dynamischer Logik / Maritta Heisel
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: DUV InformatikVerlag: Wiesbaden : Dt. Univ.-Verl., 1992Beschreibung: XI, 288 S. : IllISBN:- 3824420317
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