Formal Models of Operating System Kernels

• Κύριος συγγραφέας: Craig, Iain D.
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: London Springer-Verlag London Limited 2007
• Θέματα: Operating systems (Computers); Software engineering; Computational complexity; Computer science; Computer Science; Operating Systems; Software Engineering; Discrete Mathematics in Computer Science; Επιστήμη των υπολογιστών > Μαθηματικά