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

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

О книге