Constructive methods in computing science : International Summer School ; [proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988] / ed. by Manfred Broy
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: NATO. NATO ASI series / F ; 55Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1989Description: VIII, 478 S. : Ill., graph. DarstISBN:- 3540513698
- 0387513698
Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 89 A 4846 | Available | 46393117090 | ||||
Handbibliothek | Fakultät für Informatik | 1988.Mar | Handbibliothek (Ausleihe und Einsicht nicht möglich) | 1988.Mar(10855) | Checked out Ausleihe und Einsicht nicht möglich | 15.01.2034 | 000148326090 |
Total holds: 0