libcats.org
Главная →

Доказательство правильности программ

Обложка книги Доказательство правильности программ

Доказательство правильности программ

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

С.Л.Матлин. Радиосхемы (1974, djvu)

Автор:
Размер книги: 3.17 Mb

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:
Размер книги: 3.94 Mb

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Как обставить квартиру

 Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

С.Л.Матлин. Радиосхемы (1974, djvu)

Автор:
Размер книги: 3.17 Mb

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:
Размер книги: 3.94 Mb

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Как обставить квартиру

 Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb

Dan Simmons - Orphan of the Helix

 Автор:
Размер книги: 132 Kb

Константин Ваншенкин. В поезде

Автор:
Размер книги: 7 Kb

Устройството на ума

 Автор:
Категория: Классическая проза
Размер книги: 44 Kb

Comprometido Con Otra

 Автор:
Категория: fiction
Размер книги: 645 Kb

Keep Me Close

 Автор:
Категория: fiction
Размер книги: 684 Kb

The Heart of Matter

 Автор:
Категория: fiction
Размер книги: 556 Kb