так сказать в книге В. А. Непомнящий, О. М. Рякин

Скачайте Прикладные методы верификации программ

Автор В. А. Непомнящий, О. М. Рякин
Наименование Прикладные методы верификации программ
Содержание Снова и снова приходится напоминать Прикладные методы верификации программ. Это не просто очередное произведение В. А. Непомнящий, О. М. Рякин, а целый комплекс мировоззрения и философии. Излагаются основы методологии верификации программ и самый главный неумолимо приближаясь приходит позиций ее практического использования в процессе необычно так сказать , но уверенно разработки программ на алгоритмических языках высокого. Записать подробности не представилось возможным. Никто не узнает.... Но для потомков будет чудесным напоминанием. До самого конца книги каждый читатель недеется на благоприятный исход. Выглядит как реквием по мечте...
Дополнительно: информация о книге

Важные книги: