File hashes

MD5: 89e2b8103d12b15a8218fdf7179cdf09
SHA1: V2LULTCC2JS2JPN5RRPQPWOLYGTWNFMS
SHA256: 1019cc2c81abfc638eec4be41bfd4fea 32f7119fac8a8e7840e6acfd469facbc
AICH: WD2D46WGDSXNS2TVC4GQFYHNER4QBXZQ
CRC32: 5d65b683
eDonkey: aa4eaa80c6d323d3e16b19fa84bde4de
TTH: NAFIPGYW3J7VHIK5POEJ5NUBMPMYTYD7BV225YI

Available files

DJVU

Download Link

Direct link IPFS Cloudflare Pinata

ENGLISH

Proof, Language, and Interaction: Essays in Honour of Robin Milner

By Plotkin G. , Stirling C.P. , Tofte M. (eds.)

Book information

Publisher: MIT
Year: 2000
ISBN: 0262161885
Language: english
Format: DJVU
Filesize: 5 MB (5639009 bytes)
Pages: 737\737
Library: Kolxo3
Time added: 2012-08-21 20:00:00

Similar books

Proof, Language, and Interaction: Essays in Honour of Robin Milner

Proof, Language, and Interaction: Essays in Honour of Robin Milner

2000 · PDF

Cosmical Electrodynamics, 2nd Ed. (International Series of Monographs on Physics)

Cosmical Electrodynamics, 2nd Ed. (International Series of Monographs on Physics)

1963 · DJVU

Theory of Knowledge: An Introduction

Theory of Knowledge: An Introduction

1976 · DJVU

Introduction to Stochastic Processes with Special Reference to Methods and Applications

Introduction to Stochastic Processes with Special Reference to Methods and Applications

DJVU

Dynamical Theory of Crystal Lattices (The International series of monographs on physics)

Dynamical Theory of Crystal Lattices (The International series of monographs on physics)

1998 · DJVU

Communism and China: Ideology in Flux

Communism and China: Ideology in Flux

1970 · DJVU

American Piety: The Nature of Religious Commitment (Patterns of Religious Commitment)

American Piety: The Nature of Religious Commitment (Patterns of Religious Commitment)

1970 · DJVU

Structural Linguistics (Midway Reprints)

Structural Linguistics (Midway Reprints)

1960 · DJVU