 | جعبه ابزار TLAمحط توسعه اره برا نوشتن و بررس مشخصات TLA + |
| انون بارر ن | |
جعبه ابزار TLA رتبه بند و خلاصه
تبلغات
- مجوز:
- Freeware
- نام ناشر:
- Microsoft Research
- سستم ها عامل:
- Windows XP / Vista / 7
- حجم فال:
- 48.6 MB
جعبه ابزار TLA برسب ها
جعبه ابزار TLA شرح
TLA + زبان مشخص است ه برا م به اجاد مشخصات سطح بالا برا سستم ها توزع شده و همزمان طراح شده است. TLA Toolbox IDE است ه به منظور استفاده از TLC مدل Checker و Tlaps و همنن سستم اثبات TLA + برا اجاد و تأد مشخصات TLA + طراح شده است.
جعبه ابزار TLA نرم افزارها مرتبط
