Formal models of operating system kernels / Iain D. Craig

By:

Craig, Iain D [aut]

Resource type: Ressourcentyp: BuchBookPublisher number: 11543701Language: English Publisher: London : Springer, 2007Description: XI, 333 S. : graph. DarstISBN:

1846283752
9781846283758

Subject(s):

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

Additional physical formats: 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 classification:

QA76.76.O63

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

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Freihandbestand ausleihbar	Fachbibliothek Informatik	E.Cra	Bibliothek / frei aufgestellt	E.Cra(51069)	Available		000523219090

Total holds: 0

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)