登入
選單
返回
Google圖書搜尋
Laws and Semantics for Rely-guarantee Refinement
Ian J. Hayes
Cliff B. Jones
R. J. Colvin
出版
Computing Science, Newcastle University
, 2014
URL
http://books.google.com.hk/books?id=Ua2zrQEACAAJ&hl=&source=gbs_api