Cover Image

Proving operating systems correct /

Bibliographic Details
Main Author: Karp, Richard Alan
Format: Book
Language:English
Published: Ann Arbor, Mich. : UMI Research Press, [1983]
Series:Computer science. Systems programming ; no. 16.
Subjects:
Operating systems (Computers)
Computer programs > Verification.
Description
Item Description:Revision of thesis (doctoral--Stanford University, 1980)
Includes index.
Physical Description:viii, 161 pages ; 24 cm.
Bibliography:Bibliography: pages [157]-158.
ISBN:0835713652