Поиск :
Личный кабинет :
Электронный каталог: Тимаков, А.А. - Описание семантики языка Paralocks в TLA+
Тимаков, А.А. - Описание семантики языка Paralocks в TLA+
Статья
Автор: Тимаков, А.А.
Программирование: Описание семантики языка Paralocks в TLA+
б.г.
ISBN отсутствует
Автор: Тимаков, А.А.
Программирование: Описание семантики языка Paralocks в TLA+
б.г.
ISBN отсутствует
На полку
Статья
Тимаков, А.А.
Описание семантики языка Paralocks в TLA+ / А.А.Тимаков // Программирование. – 2024. – № 1. – С. 88-99. – URL: https://doi.org/10.31857/S0132347424010073. – Библиогр.: 14.
Спец.(статьи,препринты) = Ц 840 б - Математическое обеспечение ЭВМ. Операционные системы
Тимаков, А.А.
Описание семантики языка Paralocks в TLA+ / А.А.Тимаков // Программирование. – 2024. – № 1. – С. 88-99. – URL: https://doi.org/10.31857/S0132347424010073. – Библиогр.: 14.
Спец.(статьи,препринты) = Ц 840 б - Математическое обеспечение ЭВМ. Операционные системы
