登入選單
返回Google圖書搜尋
Weakest Relative Precondition Semantics
Andreas Wolf
其他書名
Balancing Approved Theory and Realistic Translation Verification
出版Inst. für Informatik und Praktische Mathematik, 2001
URLhttp://books.google.com.hk/books?id=8ppIGwAACAAJ&hl=&source=gbs_api