Методы верификации программ
![](/img/labirint_120x80.png)
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них ...
КупитьРеклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgC8Csm.
Миронов А.М.: Методы верификации программ
![](/img/book24_120x80_2.png)
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них ...
КупитьРеклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: LatgBWwPR.
Методы верификации программ
![](/img/bookvoed_120x80_2.png)
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них ...
КупитьРеклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: LatgBWbuV.
-
Книга: "Основы тестирования и верификации ...
КупитьРеклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgC8Csm.
Основы тестирования и верификации программного ...
КупитьРеклама. ООО "Магазин книг", ИНН: 9725076959, erid: 4CQwVszL76wuPqttfFA.
Современные методы и инструменты формальных ...
КупитьРеклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: LatgBWGRZ.
Современные методы и инструменты формальных ...
КупитьРеклама. ООО «ЛитРес», ИНН: 7719571260.
ПО для проектирования и конструирования ...
КупитьРеклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: LatgBWbuV.
Секреты успешных НИОКР», Виктор Юрьевич Николенко
КупитьРеклама. ООО «ЛитРес», ИНН: 7719571260.
Программная инженерия и технологии ...
КупитьРеклама. ООО «ЛитРес», ИНН: 7719571260.
Для формирования результатов поиска книг использованы различные сервисы поисковых систем.
Выше вы можете купить бумажную и электронную версию книги дешево и по самой лучшей цене в известных интернет-магазинах Лабиринт, Читай-Город, Буквоед, МИФ, Озон, book24, Литрес. Книги можно купить со значительными скидками!