Розмір відео: 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)
![[Scheme24] An Implementation of a Visual Stepper in the GRASP Programming System](http://i.ytimg.com/vi/XsDUj9GCERI/mqdefault.jpg)
![[Scheme24] Scheme on WebAssembly: It is happening!](http://i.ytimg.com/vi/d2t4ohikLa4/mqdefault.jpg)
