Welcome to the Online Catalogue, 

Central Library

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

Search

Your search returned 6 results.

Not what you expected? Check for suggestions

Results
		The formal semantics of programming languages: an introduction by Glynn Winskel. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1993Availability: Items available for loan: Central Library (1)Call number: 005.131 WIN(FOR). Place hold
		The formal semantics of programming languages: an introduction by Glynn Winskel. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1993Availability: Items available for loan: Central Library (1)Call number: 005.131 WIN(FOR). Place hold
		The structure of typed pogramming languages by David A. Schmidt. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994Availability: Items available for loan: Central Library (1)Call number: 005.131 SCH(STR). Place hold
		The structure of typed pogramming languages by David A. Schmidt. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994Availability: Items available for loan: Central Library (1)Call number: 005.131 SCH(STR). Place hold
		Algebraic semantics of imperative programs by Joseph A. Goguen \| Grant Malcolm. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1996Availability: Items available for loan: Central Library (1)Call number: 005.131 GOG(ALG). Place hold
		Algebraic semantics of imperative programs by Joseph A. Goguen \| Grant Malcolm. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1996Availability: Items available for loan: Central Library (1)Call number: 005.131 GOG(ALG). Place hold

Visitor count :