Cover Image

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

Show other versions (1)
Bibliographic Details
Corporate Author: NetLibrary, Inc
Other Authors: Plotkin, G. (Gordon), 1946-, Stirling, Colin P., Tofte, Mads, Milner, R. (Robin), 1934-2010
Format: eBook
Language:English
Published: Cambridge, Mass. : MIT Press, 2000.
Series:Foundations of computing.
Subjects:
Computer science.
Milner, R. > (Robin), > 1934-2010.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:xiv, 722 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:0585388903 (electronic bk.)