A Beginner's Guide to TLA+ Exploring State Machines & Proving Correctness | Jeff Weiss | Code BEAM V

Просмотров: 1 | Время: 17:38 | Голосов: +1 +1 | Скачать

Скачать клип A Beginner's Guide to TLA+ Exploring State Machines & Proving Correctness | Jeff Weiss | Code BEAM V