Formal models of operating system kernels / Iain D. Craig

Von:

Craig, Iain D [aut]

Resource type: Ressourcentyp: BuchBuchVerlagsnummer: 11543701Sprache: Englisch Verlag: London : Springer, 2007Beschreibung: XI, 333 S. : graph. DarstISBN:

1846283752
9781846283758

Schlagwörter:

simulation and modeling
operating systems
model development
systems programs and utilities
Betriebssystem
Kernel Informatik
Formale Spezifikationstechnik
Operating systems (Computers)

Andere physische Formen: Online-Ausg.: Formal Models of Operating System Kernels. London : Springer London, 2007. Online-Ressource (XIII, 329 p, digital)MSC: MSC: *68N25 | 68-01RVK: RVK: ST 260LOC-Klassifikation:

QA76.76.O63

Call number: Grundsignatur: E.Cra(51069)PPN: PPN: 507916212

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Informatik	E.Cra	Bibliothek / frei aufgestellt	E.Cra(51069)	Verfügbar	000523219090

Anzahl Vormerkungen: 0