Algebraic semantics of imperative programs /

Goguen, Joseph

Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm - Cambridge, Mass. : MIT Press, c1996 - vii, 228 p. : ill. ; 24 cm. - Foundations of computing .

Includes bibliographical references (p. [223]-225) and index

026207172X


Programming languages (Electronic computers)--Semantics
Algebra

Perpustakaan Universiti Malaysia Pahang Al-Sultan Abdullah
26600 Pekan, Pahang Darul Makmur
Phone: +609 431 5063 (Gambang) / +609 431 5035 (Pekan)
Email: umplibrary@umpsa.edu.my

Connect With Us