Custom cover image
Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Texts and monographs in computer sciencePublisher: Berlin ; Heidelberg [u.a.] : Springer, 1990Description: XIII, 493 S. : graph. DarstISBN:- 3540525890
- 0387525890
- 3540523561
- 0387523561
- 005.1
- QA76.76.D47
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 2647 | Available | 46483152090 |
Total holds: 0