http://ir.sinica.edu.tw/handle/201000000A/36890
Title: | Programming from Galois Connections — Principles and Applications | Authors: | Shin-Cheng Mu José Nuno Oliveira |
Issue Date: | 2010 | Related Publication(s): | 技術報告(資訊所) | Relation: | TR-IIS-10-009 | URI: | http://ir.sinica.edu.tw/handle/201000000A/36890 | URL: | http://www.iis.sinica.edu.tw/page/library/TechReport/tr2010/tr10009.pdf |
Appears in Collections: | 資訊科學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.