Formal Models of Operating System Kernels

• Main Author: Craig, Iain D.
• Format: Electronic Kit Book
• Language: English
• Published: London Springer-Verlag London Limited 2007
• Subjects: Operating systems (Computers); Software engineering; Computational complexity; Computer science; Computer Science; Operating Systems; Software Engineering; Discrete Mathematics in Computer Science; Επιστήμη των υπολογιστών > Μαθηματικά