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

Title
: 
Proof, language, and interaction essays in honour of Robin Milner

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

ISBN
: 
9780585388908
 
9780262281676

Publication Information
: 
Cambridge, Mass. : MIT Press, 2000.

Physical Description
: 
1 online resource (xiv, 722 p.) : ill.

Series
: 
Foundations of computing

Series Title
: 
Foundations of computing

Personal Subject
: 
Milner, R. (Robin), 1934-2010.
 
Milner, R. (Robin), 1934-
 
Milner, Robin.

Subject Term
: 
Computer science.
 
Theoretische Informatik.

Added Author
: 
Plotkin, G. (Gordon), 1946-
 
Stirling, Colin P.
 
Tofte, Mads.
 
Milner, R. (Robin), 1934-2010.

Electronic Access
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book219901-1001ONLINEElektronik Kütüphane