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:

Schlagwörter:

DDC-Klassifikation:

RVK: RVK: ST 260 | ST 230LOC-Klassifikation:

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