登入選單
返回Google圖書搜尋
An LCF Proof of Soundness of Hoare's Logic
S. Sokolowski
其他書名
A Paper Without a Happy Ending
出版University of Edinburgh Department of Computer Science, 1983
URLhttp://books.google.com.hk/books?id=WTfoOwAACAAJ&hl=&source=gbs_api