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 | ||
| Archiv (Magazin CS) | Bibliothek Campus Süd | Archiv | 92 DA 124 | Verfügbar | 31207917 | |||
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Hei | Bibliothek / frei aufgestellt | D.Hei(14858) | Verfügbar | 000229928090 |
Anzahl Vormerkungen: 0