Formal Refinement for Operating System Kernels
Edition: 1 edition
Publisher: Springer
Published: July 25, 2007
Language: eng
Format: Hardcover
Number of pages: 336
ISBN-13: 9781846289668
Subjects: Operating systems & graphical user interfaces (GUIs); Computers; Computers - Languages / Programming; Computer Books: Languages; Programming - Software Development; Computers / Programming / Software Development; Kernels; Operating systems (Computers); Refinement; Separation Kernel