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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.6 .K348 1983
 
Call Number Status Get It
QA76.6 .K348 1983 Available