MCMAS-C Model Checker

関連プログラム

• MConvert - Multiformat Converter 無料

  MConvert は、ファイルを変換するためのツールを開発することを目的としたオープンソースのプロジェクトです。他のオープンソースツールを使用することで、MConvertはファイル形式を変換するための幅広い可能性を提供したいと考えています。

• WinCRC32 無料

  WINCRC32はCRC-32技術を使用して各ファイルをチェックし、潜在的に不良、破損、誤ったサイズ、または不足しているファイルを通知し、ダウンロードの時間を節約して、1つのファイルが見つからないか、最後のファイルにCRCチェックサムエラーがあります。CRC 値の比較は、標準の SFV ファイルを使用して行われます。SFV ファイルが使用できない場合は、計算された CRC 値を持つ新しいファイルを生成できます。WIN-SFV 互換。SFVファイル

• Web Pictures Downloader 無料トライアル

  ウェブ写真のダウンローダーは、ウェブやインターネットから写真、写真、画像、JPG、GIFをダウンロードするためのインターネット画像のダウンローダーです。最大8スレッドで同時にアクセスできます。Webサイトの構造を分析し、写真や写真(JPG、GIF)を見つけてハードディスクにダウンロードし、後で自分の都合の良い写真を見ることができます。これは、画像のダウンロードを行うための楽しいタスクになります。Web画像ダウンローダーであなたのダウンロード画像の

• A shoot'em up game for the Maemo 無料

  Maemoプラットフォームのためのアイソメトリックシュートアップゲーム。基本的な考え方は、プレイヤー(またはプレイヤー)が自分のキャラクターを生成し、互いに対して、またはコンピュータ制御された敵に対してバッティングできるゲームを生成することです。

• SudokuGenerator in c++ and stl 無料

  難易度の与えられたレベルで数独パズルを生成する数独パズルジェネレータ。生成されたパズルは、独自のソリューションを持っており、バックトラッキングや推測なしで解決することができます。ソフトウェアは、windowsプラットフォーム用のstlを使用してc ++で書かれています。

• Oxygen Basic 無料

  C ヘッダーを読み取り、x86 マシン コードにコンパイルする、コンパクトな埋め込み可能 JIT コンパイラ。メモリ内で直接実行するか、DLL および EXE ファイルを作成します。オーバーロードと OOP をサポートします。現在、MS プラットフォームで使用できます。64 ビットが進行中です

• Lua Conio 無料

  Lua Conioは、ガブリエレ・セッチによって開発されたテキストユーザーインターフェースを作成するために使用されるターボC conioのラッパーです。

• Book Keeper System 無料

  Struts + JSTL および JDBC を使用して Java で書かれたシンプルなライブラリ管理システム。 従来の階層型アーキテクチャのアプローチが使用されます。 現在、DAO は mySql で使用できます。

• Counter Strike 1.6 File 無料

  tlchargez des fichiers en ラポール・アベック・ル・サートゥール [TFS21] ファイアフォックス・サーバー

• Multimodal Engine Platform 無料

  MMEシステムは異機種デバイス間の通信を行い、異なる種類のモダリティを使用してユーザーとアプリケーション間の通信を確立する必要があると提示されています。