Custom cover image
Custom cover image

The B language and method : a guide to practical formal development / K. Lano

By: 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
Subject(s): DDC classification:
  • 005.1/2/015113
RVK: RVK: ST 260LOC classification:
  • QA76.73.B155
PPN: PPN: 278786308
Holdings
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

Powered by Koha