STRUCTURED-VERIFICATION-OF-PROGRAMS
碩士 === 國立成功大學 === 應用數學研究所 === 69 ===
Main Authors: | Lu, Zhao-Zhong, 陸朝中 |
---|---|
Other Authors: | Lin, Feng-Qing |
Format: | Others |
Language: | zh-TW |
Online Access: | http://ndltd.ncl.edu.tw/handle/39235726828377934029 |
Similar Items
-
往生服務業經營策略之個案研究
by: Lu,Chung-Chong, et al.
Published: (2005) -
Abstraction in program verification
by: Latham, J. T.
Published: (1985) -
Thermal verification of programs
by: Koskinen, Eric John
Published: (2013) -
Verification of graph programs
by: Poskitt, Christopher M.
Published: (2013) -
往生服務業經營策略之個案研究
by: 陸朝中, et al.