Normal view MARC view ISBD view

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
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Location Call number Status Date due
Books Books
Epoka University Library
QA 76 .P699 2000 (Browse shelf) Available

Includes bibliographical references.

There are no comments for this item.

Log in to your account to post a comment.

Epoka University Library, Rr. Tiranë-Rinas,Km. 12 1039 Tirana, Albania
+355 4 2232 086| FAX +355 4 2222 117|library@epoka.edu.al