Formal Models of Operating Sys – GOOD This unbranded textbook is a practical choice for a class that requires a lot of reading.
