Proving operating systems correct
by Richard Alan Karp
Bok Språk ikke angitt 1983
| Utgitt | Ann Arbor, Mich. : UMI Research Press , c1983
|
|---|---|
| Omfang | viii, 161 s. : fig.
|
| Opplysninger | Omarbeidet doktoravhandling - Stanford University, 1980.
|
| Emner | |
| ISBN | 0835713652
|
