Электронная книга: Е. Л. Веретельникова «Теоретическая информатика. Доказательство правильности»
|
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению однойтемы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ. Издательство: "Новосибирский государственный технический университет" (2016)
ISBN: 978-5-7782-2875-7 электронная книга Купить за 85 руб и скачать на Litres |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Теоретическая информатика. Теория сетей Петри и моделирование систем | В работе изложены теоретический материал и практические задания для освоения основных принципов… — Новосибирский государственный технический университет, электронная книга Подробнее... | электронная книга |
См. также в других словарях:
Театр драмы — имени А. С. Пушкина (площадь Островского, 2), ведёт историю с 1756 (см. Русский для представления трагедий и комедий театр). С 1832 называется Александрийским театром, с 1919 академический. В 1920 переименован в Петроградский… … Санкт-Петербург (энциклопедия)
УЛИЦЫ РАЗБИТЫХ ФОНАРЕЙ — «УЛИЦЫ РАЗБИТЫХ ФОНАРЕЙ», Россия, РУССКОЕ ВИДЕО ФИЛЬМ, 1997 1999, цв. Детективный сериал. По произведениям Андрея Кивинова. В ролях: Алексей Нилов (см. НИЛОВ Алексей Геннадьевич), Александр Лыков (см. ЛЫКОВ Александр Анатольевич), Александр… … Энциклопедия кино
Александринский театр — Координаты: 59°55′54.39″ с. ш. 30°20′10.73″ в. д. / 59.931775° с. ш. 30.336314° в. д. … Википедия
Российский государственный академический театр драмы им. А. С. Пушкина — Александринский театр Фотолитография конца XIX века Прежние названия Русский для представлений трагедий и комедий театр Основан 1756 Художественный руководитель Валерий Фокин Сайт www.alexandrinsky.ru … Википедия
Российский театр драмы имени А. С. Пушкина — Александринский театр Фотолитография конца XIX века Прежние названия Русский для представлений трагедий и комедий театр Основан 1756 Художественный руководитель Валерий Фокин Сайт www.alexandrinsky.ru … Википедия
Ставропольский театр драмы — Координаты: 45°02′34.9″ с. ш. 41°57′57.9″ в. д. / 45.043028° с. ш. 41.966083° в. д. … Википедия
