Shkarupylo V. V., Tomicic I., Arapin D. V.

The concurrency representation in TLA+ specification


В наявності 0 з 0 примірників.


Номер документа в системі:321150
Автор:Shkarupylo V. V., Tomicic I., Arapin D. V.
Назва документа:The concurrency representation in TLA+ specification
УДК004.052.42
Мова документуАнглійська
Шифр документу621.37
Кількість сторінокP. 118-119.
Повернутися до переліку бібліотечних фондів