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; Επιστήμη των υπολογιστών > Μαθηματικά
• Physical Description: v.: digital
• ISBN: 9781846287183