登入選單

返回Google圖書搜尋

Extended ML: an Institution-independent Framework for Formal Program Development

University of Edinburgh. Department of Computer Science. Laboratory for Foundations of Computer ScienceDonald SannellaAndrzej Tarlecki

出版	Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, 1986
URL	http://books.google.com.hk/books?id=gtGNHAAACAAJ&hl=&source=gbs_api