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

18+ Книга "Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие" – , 2014
0.0

О книге