Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade

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

Gordon Plotkin (ed.)

Proof, language, and interaction: essays in honour of Robin Milner - - The M.I.T. Press 2000 - xiv, 722p. - .



ME/1/2010-11/0031 / 22-04-2010

0262161885 (HB)


COMPUTER SCIENCE
COMPUTATIONAL COMPLEXITY
COMPUTER SCIENCE

004 PRO
Visitor count :