Tla araç kutusu

TLA + spesifikasyonlarını yazmak ve kontrol etmek için entegre bir geliştirme ortamı
Şimdi İndirin

Tla araç kutusu Sıralama ve Özet

Reklamcılık

  • Rating:
  • Lisans:
  • Freeware
  • Yayıncı adı:
  • Microsoft Research
  • İşletim sistemleri:
  • Windows XP / Vista / 7
  • Dosya boyutu:
  • 48.6 MB

Tla araç kutusu Etiketler


Tla araç kutusu Açıklama

TLA +, hem dağıtılmış hem de eşzamanlı sistemler için üst düzey özelliklerin oluşturulmasında yardımcı olmak için tasarlanmış bir spesifikasyon dilidir. TLA Toolbox, TLA + spesifikasyonları oluşturmak ve doğrulamak için TLC model denetleyicisini ve TLAP'leri ve TLA + prova sistemini kullanmanıza izin vermek için tasarlanan IDE'dir.


Tla araç kutusu İlgili Yazılım

Hakkımızda