М. Т. Наунг

Произведения автора 1

Только полные версии книг

РОМАНЫ и ПОВЕСТИ

электронная книга
0
Год написания книги 2021
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы...