Ebook: Верификация автоматных программ
В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автома
Download the book Верификация автоматных программ for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)