The B language and method : a guide to practical formal development / K. Lano
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Formal approaches to computing and information technologyVerlag: London ; Berlin ; Heidelberg [u.a.] : Springer, 1996Beschreibung: 232 S. : graph. DarstISBN:- 3540760334
- 005.1/2/015113
- QA76.73.B155
Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Lan | Bibliothek / frei aufgestellt | D.Lan(22454) | Verfügbar | 000309172090 |
Anzahl Vormerkungen: 0