The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1974 vol.23)
pp: 879-880
F. Baskett , Stanford University
ABSTRACT
According to the authors this book treats "the most important formal methods that have been applied to the study of operating systems algorithms." The emphasis of the book is on the mathematical analysis of models of computing systems, which means that there are several important methods and concepts in the theory of operating systems that are not treated. However, the book is the first serious attempt in this area and is a valuable addition to the reference and text books in computer science.
INDEX TERMS
null
CITATION
F. Baskett, R. Sedgewick, "B74-38 Operating Systems Theory", IEEE Transactions on Computers, vol.23, no. 8, pp. 879-880, August 1974, doi:10.1109/T-C.1974.224046
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool