Custom cover image
Verifiable programming / Ole-Johan Dahl
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Prentice Hall international series in computer sciencePublisher: New York [u.a.] : Prentice Hall, 1992Edition: 1. publDescription: IX, 269 S : graph. DarstISBN:- 0139510621
- 005.1/4
- 005.14
- QA76.76.V47
Contents:
Action note: - 2
| Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Dah | Bibliothek / frei aufgestellt | D.Dah(16674) | Available | 000215747090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 2 pdager