Custom cover image
Formal methods for interactive systems / Alan John Dix
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Computers and people seriesPublisher: London [u.a.] : Academic Press, 1991Description: 369 S : graph. DarstISBN:- 0122183150
- 004.33/019
- 004.2
- 2
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 3557 | Available | 45504293090 |
Total holds: 0
Archivierung prüfen 20221111 DE-640 2 pdager