Formal specification and software development / Dines Bjørner and Cliff B. Jones in collab. with: Derek Andrews ..
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Prentice-Hall international series in computer scienceVerlag: Englewood Cliffs, NJ [u.a.] : Prentice-Hall International, 1982Beschreibung: X, 501 SISBN:- 0133290034
- 005.1
- 001.64/25
- QA76.76.D47
Inhalte:
Call number: Grundsignatur: 83 A 129PPN: PPN: 024395730
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 83 A 129 | Verfügbar | 15157649 |
Anzahl Vormerkungen: 0