PiET: Pi Calculus Equivalences Tester 1.0
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/piet/files/piet/Piet%201.0/gui_sources.zip/download
關於 PiET: Pi Calculus Equivalences Tester
PiET 是 Pi 微積分十種行為等價物的驗證工具。
相關軟體
-
The Figaro 免費
OBDD" 的隱式圖形演演算法和表示框架(費加羅)使用輸入生成器和演算法外掛程式自動管理實驗。它已經包含一些生成器和演算法的圖形和調度問題。
-
C++ Programming Reference FREE 免費試用
完成C++程式設計參考,從快速參考卡到程式設計語言培訓手冊使用行動帶來的可能性,允許學習或檢查任何你想要的移動。不要浪費時間在交通上,使用您的手機,學習和檢查任何你想要的。=========內容:=========C++快速參考卡-------------------------• 預處理器。文字。聲明。存儲類。語句。功能• 表達式和類• 範本。命名空間。C/C++標準庫。斯特迪奧H, STDLIB。H,
-
MEP Auswertung 免費
這個程式已經寫在心中,創建一個有用的工具,以評估馬達喚起電位(MEPs)產生的透氣磁刺激(TMS)和記錄與程式"信號"(版本2.xx)。
-
gsvit 免費
支援圖形卡的快速 FDTD 解算器。針對納米級光學器件進行了優化 - 近場光學顯微鏡掃描、粗糙表面散射和太陽能電池。使用 CUDA 環境進行顯卡操作。
-
Russian Vocabulary 免費
是時候玩俄羅斯詞彙測驗了!來自金石英的有趣、免費的互動瑣事測驗讓您掌握一切知識!俄語('russkiy yazyk,發音為[russk][a]j[a][z][k])是一種斯拉夫語言,主要用於俄羅斯、白俄羅斯、烏茲別克、哈薩克斯坦、塔吉克和吉爾吉斯斯坦。它是烏克蘭、摩爾多瓦、拉脫維亞、土庫曼和愛沙尼亞的非官方但廣泛使用的語言,在較小程度上,它也是蘇聯組成共和國的其他國家。[6] 俄語屬於印歐語言家族,是東斯拉夫文的三個活成員之一。從10世紀開始,老
-
Fiction Press Reader 免費
想要享受FictionPress.com,而無需使用您當月的所有資料?這是小說出版社的離線讀者,將允許您閱讀你的故事在去。它還允許您管理和輕鬆檢查故事的更新。如果你也喜歡閱讀迷幻小說, 請結帳的迷幻小說閱讀器以及。
-
brickit 免費
基於網络的質粒和生物磚庫(HTTP://parts.mit.edu)以及支援合成生物學研究的相關實用專案。
-
Harrow 免費
用於收集中繼資料的 Java 函式庫、Web 服務和 Web 用戶端。它目前支援從 OAI-PMH 收穫到 Fedora 2,但可以很容易地擴展以支援更多的協定。
-
MLPA Analyzer 免費
MLPA 分析儀是多路複式連接相關探頭放大的工作流程和分析環境
-
Physics Solving Toolkit 免費
Phyz 是一個教育專案,它展示了各種物理理論/概念,並包含一套解決問題的程式。基本理念是解釋和提供解決問題的簡單的介面。