Formal Models of Operating System Kernels

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Craig, Iain D.
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: London Springer-Verlag London Limited 2007
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-1-84628-718-3

Παρόμοια τεκμήρια