Yazar
Richard Alan Karp
1 cilt bulundu.
Cilt sonuçları
Proving operating systems correct
Richard Alan Karp · UMI Research Press
161 sayfa · 1983
Computer programs / Operating systems (Computers) / Verification
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Richard Alan Karp · UMI Research Press
161 sayfa · 1983
Computer programs / Operating systems (Computers) / Verification