Главная > Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ > Скачать книгу «‎Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ»‎ в формате PDF

Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ

Скачать книгу “Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ” в других форматах

Доступные форматы для скачивания: