Analyzer Component Framework 0.1
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/acf/files/acf/0.1/ACF-0.1.tar.gz/download
關於 Analyzer Component Framework
ACF 是 編寫模型檢查器。 ACF是建立在基本觀察之上的,即大多數 模型檢查演算法獨立於用於描述的形式主義 系統。
相關軟體
-
LEP 免費
文字 Eclipse 程式設計協助開發人員編寫結構化的、記錄良好的原始碼。LEP 將原始碼和文件的自動提取整合到熟悉的日食環境中。完全支持編譯和調試。
-
BakerBots 免費
這是貝克學院, 實習生開發的應用程式運行機器人作為頭像在第二人生, OpenSim 等。它依賴於程式# 的 AIML 處理和 libOpenMetaverse 的 SL 瀏覽器功能。
-
Survival Medicine Guide 免費試用
"需要免費的 Adobe 閱讀器"***這是一個生存醫學指南,以防我們都害怕真的發生。這是一個偉大的恭維任何良好的生存手冊。當您需要時,此資訊可能不可用。現在就拿,準備好。這個生存醫療指南是必須的!!這本書超過200頁,需要一分鐘載入一旦安裝。該書採用PDF格式,需要免費的Adobe閱讀器。現在可搜索和照片!!這個程式留在您的手機或設備,不需要互聯網接入。我們僅使用 Google 添加資訊,不收集除 Goog
-
Universal Maths Conversion Library 免費
UMCL 庫向應用程式開發人員提供單個 API,需要在不同數學格式之間進行轉換,尤其是盲文特定符號。
-
Bhagavad Gita(YaBG) 免費
YaBG - 還有另一個"巴加瓦德吉塔"應用程式。這個程式可以讓你通讀整個巴加瓦德吉塔沒有任何中斷;沒有廣告,沒有痛苦的彈出視窗;完全自由,沒有侵入性。我創建了這個程式,這樣我就可以閱讀"bhagavad gita"使用我的Android手機;希望它看起來很漂亮, 易於閱讀與現代 UI 。記住我所有的要求,這個程式被開發為重量輕和最小。現在,它伴隨著由伊斯克康的創始人斯裡·普拉布帕達完成的翻譯工作。( 此人免費提供 @ ved
-
PONS German PREMIUM 免費試用
PONS 詞典德語作為外語高級版包含 77,000 個關鍵字、短語和構造,以及 125,000 多個定義和示例,是 PONS 最全面的標準參考工具。你在學德語,需要一本合適的字典嗎?你處理不同學科領域的詞彙,如技術,運動或醫學?您有時對表達和拼寫有疑問嗎?你想增加你的詞彙量嗎?PONS 詞典德語作為外語高級版為高級德語學習者開發的 ,確保快速可靠的結果。誰可以特別受益於這個程式?德語高級學習者和德語教師作為外語的內容: * 大約 77,000 個
-
jQuantum 免費
jQuantum 是一個 Java 程式,用於類比量子計算機、設計量子電路以及可視化量子演算法的執行。然而,另一個主要目的是在你的頭腦中創造圖像,從而——理解。
-
FlameBitmaps 免費
計算 2D-灰度點陣 圖 使用不同的影像處理演算法將 3D 旋轉體從檢測到的區域計算。專為德國航空航太中心 (DLR) 開發。已用項目:物質 (GUI)
-
fropho 免費
泡沫計算晶體中的假子,它基於帕林斯基-李-川佐法。當原子被移位時,對原子作用的力的資訊需要作為輸入資訊。泡沫將被一個phonopy.sourceforge.net。
-
FSMPP - Finite State Machines in C++ 免費
FSMPP 是一個庫,為在一個系統內構建有限狀態機提供了簡單、精簡和直觀C++。