Formal models of operating system kernels /

Formal models of operating system kernels /

57

Bibliographic Details
Main Author:	275605 Craig, Iain D.
Format:
Language:	eng
Published:	London : Springer-Verlag, 2007
Subjects:	Operating systems (Computers)
Online Access:	http://dx.doi.org/10.1007/978-1-84628-718-3

Similar Items

Formal Refinement for Operating System Kernels [electronic resource] /
by: 275605 Craig, Iain D., et al.
Published: (2007)

Advanced operating systems and kernel applications : techniques and technologies /
by: Wiseman, Yair, 1970-, et al.
Published: (2010)

The art of Linux kernel design : illustrating the operating system design principle and implementation /
by: Yang, Lixiang, author, et al.
Published: (2014)

P.S. to operating systems /
by: 378853 Dowdy, Larry, et al.
Published: (1993)

Kernel projects for Linux /
by: 441971 Nutt, Gary J.
Published: (2001)

Linux kernel development /
by: 247670 Love, Robert
Published: (2005)

Understanding the Linux kernel /
by: Bovet, Daniel P. (Daniel Pierre), et al.
Published: (c200)

The linux kernel book /
by: 262503 Card, Remy, et al.
Published: (1997)

Linux : kernel internals /
by: Beck, Michael
Published: (1996)

Operating system fundamentals /
by: 385028 Irtegov, D
Published: (2003)

An introduction to operating systems : concepts and practice /
by: 443709 Bhatt, Pramod Chandra P.
Published: (2007)

Operating systems /
by: Deitel, Harvey M., 1945-, et al.
Published: (2004)

Operating systems /
by: 441971 Nutt, Gary J.
Published: (2004)

Fundamental of operating systems /
by: 207542 Lister, Andrew M., et al.
Published: (1988)

Operating systems /
by: 459227 Lorin, Harold, et al.
Published: (1981)

The linux kernel book / [cakera padat]
by: 262503 Card, Remy, et al.
Published: (1997)

Linux : kernel internals / [cakera padat]
by: Beck, Michael
Published: (1996)

Operating systems : theory and practice /
by: International Symposium on Operating Systems Theory and Practice (2nd : 1978 : Rocquencourt, France), et al.
Published: (1979)

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

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

Understanding Operating Systems /
by: McHoes, Ann McIver, 1950-, author, et al.
Published: (2018)

Understanding operating systems /
by: 378446 Flynn, Ida M., et al.
Published: (c201)

Operating systems in depth /
by: 510262 Doeppner, Thomas W.
Published: (c201)

Understanding operating systems /
by: McHoes, Ann McIver, author, et al.
Published: (2014)

Survey of operating systems /
by: Holcombe, Jane, author, et al.
Published: (2015)

Survey of operating systems /
by: Holcombe, Jane 310911, et al.
Published: (2006)

Understanding operating systems /
by: 378446 Flynn, Ida M., et al.
Published: (2006)

Introduction to operating systems /
by: 446502 Bong Chin Wei, et al.
Published: (2009)

Modern operating systems /
by: 203702 Tanenbaum, Andrew S.
Published: (2008)

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

Understanding operating systems /
by: 378446 Flynn, Ida M., et al.
Published: (2008)

Operating systems principles /
by: Bic, Lubomir, 1951-
Published: (2003)

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

Completion of the Kernel of the Differentiation Operator
by: Anatoly N. Morozov
Published: (2017-02-01)

Advanced concepts in operating systems : distributed, database, and multiprocessor operating systems /
by: 351161 Singhal, Mukesh, et al.
Published: (1994)

Operating system concepts /
by: 276066 Peterson, James L., et al.
Published: (1985)

An introduction to operating systems /
by: Deitel, Harvey M., 1945-
Published: (1984)

Understanding operating systems /
by: 378446 Flynn, Ida M., et al.
Published: (1997)

Modern operating systems /
by: 203702 Tanenbaum, Andrew S.
Published: (1992)

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