Formal refinement for operating system kernels /

Bibliographic Details
Main Author:	Craig, I.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	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:	xiii, 332 pages ; 25 cm.
Bibliography:	Includes bibliographical references [page 323].
ISBN:	184628967X 9781846289675
DOI:	10.1007/978-1-84628-967-5