книги Наука, техника, медицина Естественные науки Точные науки Математика

Логика Хоара

Код 3497747

  • ISBN: 978-5-5096-0484-3

Нет в продаже

Аннотация к книге "Логика Хоара"

High Quality Content by WIKIPEDIA articles! Логика Хоара (англ. Hoare logic, также Floyd—Hoare logic, или Hoare rules) — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в области информатики и математической логики Хоаром, позже развита самим Хоаром и другими исследователями. Первоначальная идея была предложена в работе Флойда, который опубликовал похожую систему в применении к блок-схемам (англ. flowchart).

Оставить комментарий

Оцените книгу:

ISBN: 978-5-5096-0484-3

Книга находится в категориях

Радиоэлектроника

Вместе с этой книгой покупают