Сборник задач по курсу "Теория вычислительных процессов". Ч. 1 : Доказательство правильности программ
1752
Купить
Краткое содержание:
Экранизация книги

Сборник задач по курсу "Теория вычислительных процессов". Ч. 1 : Доказательство правильности программ

Год:
2006
isbn:
5-7782-0739-5
Язык:
Русский
Описание:
Сборник задач по курсу "Теория вычислительных процессов". Ч. 1: , Доказательство правильности программ. - 2006. - 50,[2] с. : ил. - Библиогр.: с. 49 (9 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация → Задачи → Решение → Учебные издания для заочного обучения
Примечания:
Библиогр.: с. 49 (9 назв.)
Дата создания:
2019-12-23 03:41:38
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Сборник задач по курсу "Теория вычислительных процессов". Ч. 1 : Доказательство правильности программ

Заказать реферат Узнать стоимость Скачать пример
Ресурсы и методические особенности курса "Математика" авторов М.И. Моро и др.
Ресурсы и методические особенности курса "Математика" авторов М.И. Моро и др. Ставцева Дина Александровна, ведущий методист редакции ...
Просвещение
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Сборник задач по курсу "Теория вычислительных процессов". Ч. 1 : Доказательство правильности программ
Опросы
Есть ли иллюстрации в этой книге?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Сборник задач по курсу "Теория вычислительных процессов". Ч. 1 : Доказательство правильности программ

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
[Коллоквиум]: Линейная логика и функциональное программирование
Долкадчик: Степан Кузнецов (МИАН/НИУ ВШЭ) Линейная логика (Жирар, 1987) — это система, в которой логические формулы воспринимаются не как ...
ФКН ВШЭ
Возможности использования электронных ресурсов на уроках биологии средствами УМК «Линия жизни»
Вебинар издательства «Просвещение» (21.03.2018) Тема: Возможности использования электронных ресурсов на уроках биологии средствами УМК ...
Просвещение
О чувстве юмора и остроумии - Лук Александр Наумович Слушать Аудиокнига
Узнайте больше о том, почему мы смеемся над той или иной шуткой, ситуацией или выступлением комика, а так же начните использовать юмор в свою ...
Ethan Levine - Аудиокниги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Харківська обласна універсальна наукова бібліотека
Харьковская область, Харьков, Основянский район
Кооперативная, 13/2
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 10:00-17:00
library.kharkov.ua
Skype:  library1951
 +380 (57) 731-25-16
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Одесская областная научная библиотека им. М.С. Грушевского
Одесская область, Одесса, Приморский район
Троицкая, 49/51
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +380 (48) 725-82-82
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №7
Московская область, Домодедово городской округ, Домодедово, Барыбино м-н
Агрохимиков, 4а
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-19:00
dombibl.ru
Вконтакте:  https://vk.com/id398415365
 +7 (496) 796-28-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Покровская сельская библиотека, МУК ДК Покровский
Московская область, Истринский район, д. Покровское
Центральная, 16 ст1
Расположение на карте
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
 +7 (498) 315-77-23
Показать номер
07 04 2014 ИК по теорет части курсовых работ и ВКР
7 апреля 2014 деканом ФДО МГППУ Айсмонтасом Б.Б. была проведена интернет-консультация для студентов факультета дистанционного обучения по ...
ФДО МГППУ ESCAPE1
фантастический сказка декламация lecture 童話 朗読.
TALES MIDSUMM
фантастический сказка декламация lecture 童話 朗読.
TALES
Рецензии и отзывы
Егор Петров
Сборник задач по курсу "Теория вычислительных процессов". Ч. 1 : Доказательство правильности программ. В книге описывается доказанный вывод. В нём несколько вводных – процедура, теория, доказательство, математическая машина.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Харківська обласна універсальна наукова бібліотека
Харьковская область, Харьков, Основянский район
Кооперативная, 13/2
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 10:00-17:00
library.kharkov.ua
Skype:  library1951
 +380 (57) 731-25-16
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Одесская областная научная библиотека им. М.С. Грушевского
Одесская область, Одесса, Приморский район
Троицкая, 49/51
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +380 (48) 725-82-82
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №7
Московская область, Домодедово городской округ, Домодедово, Барыбино м-н
Агрохимиков, 4а
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-19:00
dombibl.ru
Вконтакте:  https://vk.com/id398415365
 +7 (496) 796-28-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Покровская сельская библиотека, МУК ДК Покровский
Московская область, Истринский район, д. Покровское
Центральная, 16 ст1
Расположение на карте
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
 +7 (498) 315-77-23
Показать номер
Информация от пользователей
Азат Нагирян
Сборник задач по курсу "Теория вычислительных процессов". Ч. 1 : Доказательство правильности программ. В книге описывается методика доказательства правильности программ на языке С++. Предложен новый метод доказательства правильности программы с помощью итерационной схемы, позволяющий одновременно исследовать вычислительные аспекты и языковые особенности программы.
Прикрепить файл
Книга находятся в категориях.