۶ اردیبهشت ۱۴۰۴

Techboy

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

پردازش ابری

2 min read

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