STRUCTURED-VERIFICATION-OF-PROGRAMS

STRUCTURED-VERIFICATION-OF-PROGRAMS

碩士 === 國立成功大學 === 應用數學研究所 === 69 ===

Bibliographic Details
Main Authors: Lu, Zhao-Zhong, 陸朝中
Other Authors: Lin, Feng-Qing
Format: Others
Language:zh-TW
Online Access:http://ndltd.ncl.edu.tw/handle/39235726828377934029
id ndltd-TW-069NCKU4507001
record_format oai_dc
spelling ndltd-TW-069NCKU45070012015-10-13T12:34:13Z http://ndltd.ncl.edu.tw/handle/39235726828377934029 STRUCTURED-VERIFICATION-OF-PROGRAMS 計算機程式之結構化驗證 Lu, Zhao-Zhong 陸朝中 碩士 國立成功大學 應用數學研究所 69 Lin, Feng-Qing 林逢慶 學位論文 ; thesis 0 zh-TW
collection NDLTD
language zh-TW
format Others
sources NDLTD
description 碩士 === 國立成功大學 === 應用數學研究所 === 69 ===
author2 Lin, Feng-Qing
author_facet Lin, Feng-Qing
Lu, Zhao-Zhong
陸朝中
author Lu, Zhao-Zhong
陸朝中
spellingShingle Lu, Zhao-Zhong
陸朝中
STRUCTURED-VERIFICATION-OF-PROGRAMS
author_sort Lu, Zhao-Zhong
title STRUCTURED-VERIFICATION-OF-PROGRAMS
title_short STRUCTURED-VERIFICATION-OF-PROGRAMS
title_full STRUCTURED-VERIFICATION-OF-PROGRAMS
title_fullStr STRUCTURED-VERIFICATION-OF-PROGRAMS
title_full_unstemmed STRUCTURED-VERIFICATION-OF-PROGRAMS
title_sort structured-verification-of-programs
url http://ndltd.ncl.edu.tw/handle/39235726828377934029
work_keys_str_mv AT luzhaozhong structuredverificationofprograms
AT lùcháozhōng structuredverificationofprograms
AT luzhaozhong jìsuànjīchéngshìzhījiégòuhuàyànzhèng
AT lùcháozhōng jìsuànjīchéngshìzhījiégòuhuàyànzhèng
_version_ 1716861798885359616

Similar Items