Proof, language, and interaction : essays in honour of Robin Milner /
by Plotkin, G. (Gordon); Milner, R. (Robin); Stirling, Colin P; Tofte, Mads.
Series: Foundations of computing. Publisher: Cambridge, Mass. : MIT Press, 2000Description: xiv, 722 p. : ill. ; 24 cm.ISBN: 0262161885 (hc : alk. paper).Subject(s): Milner, R. 1934-2010. (Robin) | Computer science| Item type | Location | Call number | Status | Date due |
|---|---|---|---|---|
Books
|
Epoka University Library
|
QA 76 .P699 2000 (Browse shelf) | Available |
Includes bibliographical references.
There are no comments for this item.