Formal Models of Operating System Kernels
Edition: 1 edition
Publisher: Springer
Published: November 14, 2006
Language: eng
Format: Hardcover
Number of pages: 338
ISBN-13: 9781846283758
Subjects: Computer architecture & logic design; Programming - Software Development; Computers; Computers - Languages / Programming; Computer Books: Operating Systems; Discrete Mathematics; Operating Systems - General; Computers / Operating Systems / General; Formal Specification; Operating Systems (Kernels); Process Algebra