Algebraic specifications in an integrated software development and verification system / von Angelika Voß
Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: 1986Description: VII, 394 S. : graph. DarstGenre/Form: MSC: MSC: 68P05 | 68Q60Dissertation note: Kaiserslautern, Univ., Diss., 1985 Call number: Grundsignatur: 86 DA 2006PPN: PPN: 1626822778| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 86 DA 2006 | Available | 40002139 |
Total holds: 0