Беликов Д. В., Корольков Р. Ю.

Практики верификации и безопасность программных систем


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


Номер документа в системі:326191
Автор:Беликов Д. В., Корольков Р. Ю.
Назва документа:Практики верификации и безопасность программных систем
УДК004.056.5
Мова документуРосійська
Кількість сторінокС. 338.
Повернутися до переліку бібліотечних фондів