Proof, language, and interaction essays in honour of Robin Milner
tarafından
 
Plotkin, G. (Gordon), 1946-

Başlık
: 
Proof, language, and interaction essays in honour of Robin Milner

Yazar
: 
Plotkin, G. (Gordon), 1946-

ISBN
: 
9780585388908
 
9780262281676

Yayın Bilgileri
: 
Cambridge, Mass. : MIT Press, 2000.

Fiziksel Tanımlama
: 
1 online resource (xiv, 722 p.) : ill.

Seri
: 
Foundations of computing

Seri Başlığı
: 
Foundations of computing

Konu Ek Girişi
: 
Milner, R. (Robin), 1934-2010.
 
Milner, R. (Robin), 1934-
 
Milner, Robin.

Konu Terimleri
: 
Computer science.
 
Theoretische Informatik.

Yazar Ek Girişi
: 
Plotkin, G. (Gordon), 1946-
 
Stirling, Colin P.
 
Tofte, Mads.
 
Milner, R. (Robin), 1934-2010.

Elektronik Erişim
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap219901-1001ONLINEElektronik Kütüphane