Welcome to the Online Catalogue, 

Central Library

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

Algebraic semantics of imperative programs

Joseph A. Goguen

Algebraic semantics of imperative programs - - The MIT Press 1996 - 228 - .



MD/1/0529/2009-10/23-09-09

026207172X (HB)


PROGRAMMING LANGUAGE (ELECTRONIC COMPUTER) – SEMANTICS

005.131 GOG(ALG)
Visitor count :