Program construction and verification / Roland C. Backhouse
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Prentice-Hall international series in computer scienceVerlag: Englewood Cliffs, NJ [u.a.] : Prentice-Hall, 1986Beschreibung: XI, 281 S. : graph. DarstISBN:- 0137291531
- 0137291469
- 005
- 005.1
- QA76.7
- QA76.754
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 86 A 2087 | Verfügbar | 45199921090 |
Anzahl Vormerkungen: 0