Cover Image

Formal models of operating systems kernels /

Bibliographic Details
Main Author: Craig, I.
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York ; London : Springer, [2007]
Subjects:
Operating systems (Computers)
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:xi, 333 pages ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:1846287189
9781846287183
DOI:10.1007/978-1-84628-718-3