۲۹ شهریور ۱۴۰۳

Techboy

اخبار و اطلاعات روز تکنولوژی

پردازش ابری

2 دقیقه زمان مطالعه

TLA+ یک زبان برنامه نویسی سطح بالا است که برای مدل سازی برنامه ها و سیستم های پیچیده، همزمان و توزیع شده استفاده می شود. توسط Leslie Lamport ایجاد شده است و توسط Amazon Web Services، Microsoft و Oracle پشتیبانی می شود.