Programming with specifications : an introduction to ANNA, a language for specifying Ada programs / David Luckham
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Texts and monographs in computer scienceVerlag: New York, NY ; Heidelberg [u.a.] : Springer, 1990Beschreibung: XVI, 416 S. : graph. DarstISBN:- 0387972544
- 3540972544
- QA76.73.A54
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 4665 | Verfügbar | 46231543090 |
Anzahl Vormerkungen: 0