Skip to main content
Virtual Bookshelf
Browse Shelves
Search Books
Popular Shelves
主題書房
Search Books
English
🇹🇼 繁體中文
🇺🇸 English
Login
Register
Home
Search Books
Proof, language, and...
Proof, language, and interaction : essays in honour of Robin Milner
Author:edited by Gordon Plotkin, Colin Stirling, and Mads Tofte.
Publisher:MIT Press
ISBN:0262161885 :
Publication Date:2000
其他作者:Plotkin, G. ; Stirling, Colin P. ; Tofte, Mads. ; Milner, R.
語言:eng
出版地:Cambridge, Mass. :
Description
xiv, 722 p. ::ill. ;:24 cm.
Search Same Author