Shkarupylo V. V., Tomiciс I., Kasian К. М.

The investigation of TLC model checker properties = Дослідження властивостей методу перевірки на моделі TLC


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


Номер документа в системі:316690
Автор:Shkarupylo V. V., Tomiciс I., Kasian К. М.
Назва документа:The investigation of TLC model checker properties = Дослідження властивостей методу перевірки на моделі TLC
УДК004.777
Мова документуАнглійська
Повернутися до переліку бібліотечних фондів