Franklin

Proving operating systems correct / by Richard Alan Karp.

Author/Creator:
Karp, Richard Alan.
Publication:
Ann Arbor, Mich. : UMI Research Press, 1983.
Series:
Computer science. Systems programming. no. 16
Format/Description:
Book
viii, 161 p. ; 24 cm.
Subjects:
Operating systems (Computers).
Computer programs -- Verification.
Notes:
Revision of thesis (doctoral--Stanford University, 1980)
Includes index.
Bibliography: p. [157]-158.
ISBN:
0835713652
OCLC:
8670152
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy