Proving operating systems correct / by Richard Alan Karp.
By: Karp, Richard Alan.
Material type: TextPublisher: Ann Arbor, Mich. : UMI Research Press, c1983Description: viii, 161 p.ISBN: 0835713652.Subject(s): Operating systems (Computers)DDC classification: 005.14Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 005.14 K1481 Pr (Browse shelf(Opens below)) | Available | 118895 |
There are no comments on this title.