This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
August 1974 (vol. 23 no. 8)
pp. 879-880
F. Baskett, Stanford University
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.
Citation:
F. Baskett, R. Sedgewick, "B74-38 Operating Systems Theory," IEEE Transactions on Computers, vol. 23, no. 8, pp. 879-880, Aug. 1974, doi:10.1109/T-C.1974.224046
Usage of this product signifies your acceptance of the Terms of Use.