?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----

?????文件????1162752??2011-12-23?10:30??模型檢測工具Spin\Spin工具ppt\Spin工具.ppt

?????文件??????86555??2011-11-24?09:13??模型檢測工具Spin\Spin工具安裝包\byacc.tar.Z

?????文件?????185344??2011-12-31?10:42??模型檢測工具Spin\Spin工具安裝包\cygwinspinxspin安裝全過程.doc

?????文件?????413406??2011-11-24?09:13??模型檢測工具Spin\Spin工具安裝包\spin525.tar.gz

?????文件?????194845??2011-11-24?09:13??模型檢測工具Spin\Spin工具安裝包\xspin

?????文件????3479040??2011-12-31?12:53??模型檢測工具Spin\Spin案例說明\spin舉例說明.doc

?????文件????1087196??2011-12-06?22:07??模型檢測工具Spin\Spin相關資料\Concepts_Algorithms_and_Tools_for_Model_Checking.pdf

?????文件????1399847??2010-11-30?11:23??模型檢測工具Spin\Spin相關資料\The+Spin+Model+Checker+-+Primer+and+Reference+Manual+-+Addison+Wesley.chm

?????目錄??????????0??2011-12-31?12:55??模型檢測工具Spin\Spin工具ppt

?????目錄??????????0??2011-12-31?12:55??模型檢測工具Spin\Spin工具安裝包

?????目錄??????????0??2011-12-31?12:55??模型檢測工具Spin\Spin案例說明

?????目錄??????????0??2011-12-31?12:55??模型檢測工具Spin\Spin相關資料

?????目錄??????????0??2011-12-31?12:55??模型檢測工具Spin

-----------?---------??----------?-----??----

??????????????8008985????????????????????13