Андрей Михайлович Миронов
Жанры и тэги:
программирование
Посмотреть все
Методы верификации программ
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные …
Подробнее