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

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

Вы можете купить книгу «Современные методы и инструменты формальных спецификаций и ...» у нашего партнёра ЛитРес.
Здесь вы увидите её варианты, которые есть в наличии, и цены на них: