登入選單

返回Google圖書搜尋

On Algebraic Semantics of Imperative Programming Languages

M. KrauseW. M. LippeF. Simon

出版	Inst. für Informatik u. Prakt. Mathematik, Christian-Albrechts-Univ., 1982
URL	http://books.google.com.hk/books?id=AdKEmwEACAAJ&hl=&source=gbs_api