Yazar

daniel r zlatin

2 cilt bulundu.

Cilt sonuçları

PL/CV3 (Computer program logic)The Type Theory of PL/CV3Cornell University. Department of Computer Science, R. L. Constable, Daniel R. Zlatin

The Type Theory of PL/CV3

Cornell University. Department of Computer Science, R. L. Constable, Daniel R. Zlatin · Yayınevi bilinmiyor

29 sayfa · 1981

PL/CV3 (Computer program logic)

CiltReport on the Type Theory (V3) of the Programming Logic PL/CV3Robert Lee Constable, Daniel R. Zlatin

Report on the Type Theory (V3) of the Programming Logic PL/CV3

Robert Lee Constable, Daniel R. Zlatin · Yayınevi bilinmiyor

Sayfa sayısı yok · 1981

Kategori yok

Yükleniyor