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

FB2 (758 KB) TXT (185 KB) PDF (1 272 KB) EPUB (302 KB)