登入
選單
返回
Google圖書搜尋
On algebraic semantics of imperative programming languages
Manfred Krause
Wolfram-Manfred Lippe
Friedemann Simon
出版
Inst. für Informatik u. Prakt. Mathematik, Christian-Albrechts-Univ.
, 1982
URL
http://books.google.com.hk/books?id=wYBHHAAACAAJ&hl=&source=gbs_api
