Proving operating systems correct / by Richard Alan Karp.
| Author/creator | Karp, Richard Alan |
| Format | Book |
| Publication Info | Ann Arbor, Mich. : UMI Research Press, 1982. |
| Description | viii, 161 pages ; 24 cm. |
| Subjects |
| Series | Computer science. Systems programming ; no. 12 |
| General note | Revision of thesis (doctoral--Stanford University, 1980) |
| General note | Includes index. |
| Bibliography note | Bibliography: p. [157]-158. |
| LCCN | 82013378 |
| ISBN | 0835713652 |