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

Similar Items

Formal refinement for operating system kernels /
by: Craig, I.
Published: (2007)

Operating system concepts /
by: Silberschatz, Abraham, et al.
Published: (2018)

Introduction to operating system design and implementation : the OSP 2 approach /
by: Kifer, M. (Michael), 1954-
Published: (2007)

Pro novell open enterprise server /
by: Vugt, Sander van
Published: (2005)

Arduino internals /
by: Wheat, Dale
Published: (2011)

Special edition using Netware 5.0 /
by: Kuo, Peter, 1959-
Published: (1999)

Formal verification of an operating system security kernel /
by: Kemmerer, Richard A.
Published: (1982)

Windows 2000 : the complete reference /
by: Ivens, Kathy
Published: (2000)

Pro Linux system administration /
by: Turnbull, James
Published: (2009)

Essential system administration /
by: Frisch, AEleen
Published: (1995)

System performance tuning /
by: Loukides, Michael Kosta
Published: (1990)

UNIX system administration : a beginner's guide /
by: Maxwell, Steven
Published: (2002)

Solaris solutions for system administrators : time-saving tips, techniques, and workarounds /
by: Henry-Stocker, Sandra, 1949-
Published: (2003)

Sams teach yourself UNIX system administration in 21 days /
by: Ray, Joan
Published: (1999)

Getting started with openVMS system management : a guide for new users /
by: Duffy, Michael D.
Published: (2003)

The Linux problem solver : hands-on solutions for systems administrators /
by: Ward, Brian, 1972-
Published: (2000)

UNIX in a nutshell : system V edition : a desktop quick reference /
by: Gilly, Daniel
Published: (1992)

UNIX in a nutshell : a desktop quick reference for system V release 4 and Solaris 7 /
by: Robbins, Arnold
Published: (1999)

Beginning Ubuntu Linux /
by: Thomas, Keir
Published: (2007)

Beginning Ubuntu server administration : from novice to professional /
by: Vugt, Sander van
Published: (2008)

Red Hat Linux unleashed /
by: Pitts, David
Published: (1998)

Linux bible /
by: Negus, Chris, 1957-
Published: (2015)

Sams teach yourself Linux in 10 minutes /
by: Ray, John, 1971-
Published: (1999)

Sams teach yourself Linux programming in 24 hours /
by: Gay, Warren
Published: (1999)

Using Linux /
by: Tackett, Jack, 1962-
Published: (1998)

The no b.s. guide to Red Hat Linux /
by: Rankin, Bob
Published: (2000)

Sams teach yourself Red Hat Linux in 24 hours /
by: Samson, Judith
Published: (2001)

Beginning Ubuntu Linux /
Published: (2011)

Running Linux /
by: Welsh, Matt
Published: (1996)

Beginning Ubuntu Linux /
by: Thomas, Keir
Published: (2008)

Using Caldera Open Linux /
Published: (1999)

Beginning Ubuntu Linux : from novice to professional /
by: Thomas, Keir
Published: (2006)

Using Linux /
Published: (1998)

Linux : the textbook /
by: Sarwar, Syed Mansoor, et al.
Published: (2018)

Foundations of Centos Linux : enterprise Linux on the cheap /
Published: (2009)

Sams' teach yourself Linux in 24 hours /
by: Ball, Bill
Published: (1998)

Linux in a nutshell : a desktop quick reference /
by: Siever, Ellen
Published: (1999)

Sams' teach yourself Linux in 24 hours /
by: Ball, Bill
Published: (1998)

Sams teach yourself Linux in 24 hours /
by: Ball, Bill
Published: (1999)

Practical Linux /
by: Streib, M. Drew
Published: (2000)