Розмір відео: 1280 X 720853 X 480640 X 360
Показувати елементи керування програвачем
Автоматичне відтворення
Автоповтор
![[Erlang24] Erla+: Translating TLA+ Models into Executable Actor-Based Implementations](http://i.ytimg.com/vi/idQS5Fb-Kpg/mqdefault.jpg)
![[Erlang24] Erla+: Translating TLA+ Models into Executable Actor-Based Implementations](/img/tr.png)
![[FProPer24] Fusing Gathers with Integer Linear Programming](http://i.ytimg.com/vi/UIRQil5ImU0/mqdefault.jpg)
![[Erlang24] Controlled Scheduling of Concurrent Elixir Programs](/img/n.gif)