eTLA 2.1.0

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

TLA+ Eclipse IDE プラグイン。Eclipse IDEでシステムを指定するための形式定義言語「アクションの時間的論理」の統合

バージョン履歴

  • バージョン 2.1.0 に転記 2005-08-22
    いくつかの修正と更新
  • バージョン 2.1.0 に転記 2005-08-22

プログラムの詳細