Учебное пособие представляет собой курс по основам программирования с использованием анализа и доказательства свойств программ. На примере языка Паскаль оно знакомит с понятиями и приемами программирования в традиционных языках высокого уровня, способами построения корректных программ, элементами доказательства корректности уже построенных программ. Изложение сопровождается множеством примеров и задач для самостоятельного решения.
Дополнительно: Цены на книги указаны БЕЗ стоимости доставки.
Все книги, указанные в моем списке, имеются в наличии.
Возможна оплата на мобильный телефон (+5%).
При отправке по почте, как правило, требуется предоплата.
Предпочтительна предварительная оплата - полная или частичная (на карты Сбербанка и Тинькофф, на счет ЮMoney, перевод через системы денежных переводов).
Предоплата позволяет покупателю значите... [подробнее]
)
новое;
В продаже с 15.10.2023
