Formal Models of Operating System Kernels

eBook Information

Formal Models of Operating System Kernels ISBN  1846283752 Release Date  14 November 2006 Category  Operating System Tags  kernel,   operating,   "operating system",   formal,   linux kernel,   model,   operating systems,   kernels,   formal method,   formal languages,   models,   This book @Amazon  View Tools Google Search Web flazx.com

Other books on Operating System ScreenOS Cookbook The Book of PF: A No-Nonsense Guide to the OpenBSD Firewall Formal Refinement for Operating System Kernels Introduction to Operating System Design and Implementation: The OSP 2 Approach (Undergraduate Topics in Computer Science) Formal Models of Operating System Kernels FreeBSD 6 Unleashed (Unleashed) Multicriteria Scheduling : Theory, Models and Algorithms Operating Systems Design and Implementation (3rd Edition) (Prentice Hall Software Series) Operating System Concepts Getting Started with OpenVMS System Management (HP Technologies) Operating Systems Sams Teach Yourself FreeBSD in 24 Hours AIX Reference for Sun Solaris Administrators (Ibm Redbooks) MicroC OS II: The Real Time Kernel (With CD-ROM) zOS JCL, 5th Edition