The B language and method : a guide to practical formal development / K. Lano
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Formal approaches to computing and information technologyPublisher: London ; Berlin ; Heidelberg [u.a.] : Springer, 1996Description: 232 S. : graph. DarstISBN:- 3540760334
- 005.1/2/015113
- QA76.73.B155
Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Lan | Bibliothek / frei aufgestellt | D.Lan(22454) | Available | 000309172090 |
Total holds: 0