Programming with specifications : an introduction to ANNA, a language for specifying Ada programs / David Luckham
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Texts and monographs in computer sciencePublisher: New York, NY ; Heidelberg [u.a.] : Springer, 1990Description: XVI, 416 S. : graph. DarstISBN:- 0387972544
- 3540972544
- QA76.73.A54
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 4665 | Available | 46231543090 |
Total holds: 0