Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC ISBD

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

Von: 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
Schlagwörter: DDC-Klassifikation:
  • 005.1/2/015113
RVK: RVK: ST 260 | ST 230LOC-Klassifikation:
  • QA76.73.B155
PPN: PPN: 278786308
Exemplare
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

Powered by Koha