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は、ソースコードとドキュメントの自動抽出を使い慣れたEclipse環境に統合します。コンパイルとデバッグは完全にサポートされています。
-
BakerBots 無料
これはベーカーカレッジ、セカンドライフ、OpenSimなどのアバターとしてボットを実行するためのインターン開発のアプリケーションです。これは、プログラム# に依存して AIML 処理を行い、SL ブラウザー機能を libOpenMetaverse に依存します。
-
Survival Medicine Guide 無料トライアル
「無料のアドビリーダーが必要です」********これは、私たち全員が本当に恐れているものが本当に起こった場合に備えて、サバイバル医学ガイドです。これは、任意の良い生存マニュアルに大きな賛辞です。この情報は、必要なときには利用できない場合があります。今それを取得し、準備ができています。この生存医療ガイドは持っている必要があります!!この本は200ページ以上で、インストール後に読み込むのに1分かかります。本はPDF形式で、無料の
-
Universal Maths Conversion Library 無料
UMCL ライブラリは、異なる Maths 形式、特に点字表記の間で変換を必要とするアプリケーションの開発者に単一の API を提供します。
-
Bhagavad Gita(YaBG) 無料
YaBG - さらに別の"バガヴァッド・ギタ&クォート;アプリ。このアプリでは、中断することなく、全体のバガバドギタを読み取ることができます。広告なし、痛みを伴うポップアップはありません。完全に無料で、何も押し付けがましいものはありません。私は私のアンドロイドの携帯電話を使用して"bhagavad gita"を読むことができるように、このアプリを作成しました。最新の UI で読みやすい、美しく見えるようにしたいと考え
-
PONS German PREMIUM 無料トライアル
外国語プレミアムとしてPONS辞書ドイツ語は、77,000のキーワード、フレーズや構造とPONSによる最も包括的な標準参照ツールの125,000以上の定義と例を持っています。あなたはドイツ語を学び、適切な辞書が必要ですか?技術、スポーツ、医学など、さまざまな分野の語彙を扱っていますか?式やスペルについて質問がある場合があります。あなたの語彙を増やしませんか?ドイツ語の上級学習者のために開発された外国語プレミアムとしてのPONS辞書ドイツ語は、迅速
-
jQuantum 無料
jQuantumは量子コンピュータをシミュレートし、量子回路を設計し、量子アルゴリズムの実行を可視化するJavaプログラムです。しかし、もう一つの主な目的は、あなたの頭の中に画像を作成し、それによって理解することです。
-
FlameBitmaps 無料
2D-グレースケールビットマップの計算 3D 回転体の計算は、異なる画像処理アルゴリズムを使用して検出された領域を形成します。ドイツ航空宇宙センター(DLR)向けに開発。中古プロジェクト: 物質 (GUI)
-
fropho 無料
フロフォは、パーリンスキー・リー・カワゾー法に基づく結晶中のフォノン特性を計算する。原子が変位したときに原子に作用する力の情報は入力情報として必要である。フロフォはphonopy.sourceforge.netに置き換えられる予定です。
-
FSMPP - Finite State Machines in C++ 無料
FSMPP は、C++ で有限ステート マシンを構築するためのシンプルで簡潔で直感的なフレームワークを提供するライブラリです。