Proof, language, and interaction : essays in honour of Robin Milner / ed. Gordon Plotkin, Colin Stirling, Mads Tofte
Secondary Author
Plotkin, Gordon, 1946-
Stirling, Colin
Tofte, Mads
Country
Estados Unidos.
Publication
Cambridge, Mas. : The MIT Press, cop. 2000
Description
XIV, 722 p. ;
24 cm
Series
Foundations of computing
ISBN
0-262-16188-5
CDU
681.3
There are no comments for this item.