Operating systems: A systematic view, William S Davis

Operating Systems: A Systematic View, William S. Davis

Operating Systems (International Edition), Gary Nutt

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FOR

Operating Systems: A Modern Perspective, Gary Nutt

Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 Intern

Operating Systems, M. J. Flynn

Operating Systems: Theory and Practice: International Symposium on (English and