-М. , 1984. - 416 с.
Монография известного американского ученого написана, как введение в науку программирования. Для программистов и разработчиков математического обеспечение ЭВМ.
Список частей:
1. Зачем нужно использовать логику и доказывать правильность программ?
2. Семантика простого языка программирования.
3. Построение программ.
Монография известного американского ученого написана, как введение в науку программирования. Для программистов и разработчиков математического обеспечение ЭВМ.
Список частей:
1. Зачем нужно использовать логику и доказывать правильность программ?
2. Семантика простого языка программирования.
3. Построение программ.