Shkarupylo V.V.

A brief review on model checking method usage


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


Номер документа в системі:227684
Автор:Shkarupylo V.V.
Назва документа:A brief review on model checking method usage
УДК004.02
ББКСт.
Мова документуАнглійська
Шифр документу621.37
Кількість сторінокP. 227-229.
Повернутися до переліку бібліотечних фондів