Верификация программ : учебно-методическое пособие. Ч. 1 : Нерекурсивные программы
767
Купить
Краткое содержание:
Экранизация книги

Верификация программ : учебно-методическое пособие. Ч. 1 : Нерекурсивные программы

Год:
2017
isbn:
978-5-317-05721-3
Язык:
Русский
Описание:
Верификация программ : учебно-методическое пособие / А. М. Миронов; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет. Ч. 1: , Нерекурсивные программы. - 2017. - 75, [1] с. : ил. - Библиогр.: с. 74-76 (27 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Рез. англ. . - Библиогр.: с. 74-76 (27 назв.)
Дата создания:
2020-03-13 00:56:21
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Верификация программ : учебно-методическое пособие. Ч. 1 : Нерекурсивные программы

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Верификация программ : учебно-методическое пособие. Ч. 1 : Нерекурсивные программы
Опросы
Оригинал написан на мертвом языке?
Да, позже переведен на другие языки.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Верификация программ : учебно-методическое пособие. Ч. 1 : Нерекурсивные программы

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека, МБУК
Московская область, Ленинский район, пос. Дубровский
Восточная, 15
Расположение на карте
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-20:00
biblio-vidnoe.ru
Вконтакте:  https://vk.com/club35532545
Facebook:  https://facebook.com/270433469696779
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека Пушкинского муниципального района, МБУК
Московская область, Пушкинский район, Пушкино, Звягино м-н
Колхозная, 2
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Пт: 10:00-14:00 15:00-19:00
Сб: 10:00-14:00 15:00-19:00
Вс: 10:00-14:00 15:00-19:00
bibliopushkino.ru
 +7 (49653) 7-87-42
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11, МБУК Центральная городская библиотека
Камчатский край, Петропавловск-Камчатский городской округ, Петропавловск-Камчатский, Моховая м-н
Арсеньева, 6а
Расположение на карте
зимний период: пн-сб 12:00-19:00
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вконтакте:  https://vk.com/kamlibpk
Инстаграм:  https://instagram.com/kamlibpk
Facebook:  https://facebook.com/kamlibpk
Одноклассники:  https://ok.ru/kamlibpk
Youtube:  https://youtube.com/channel/UCLXNmyAvFHE4TdhTCQdmSqg
 +7 (4152) 22-59-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека
Хабаровский край, Амурский район, Амурск, 8-й микрорайон
Комсомольский проспект, 63
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
lib.amursk.ru
 +7 (42142) 9-97-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ивановская областная библиотека для детей и юношества
Ивановская область, Иваново городской округ, Иваново, Ленинский район
Крутицкая, 9
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
iv-obdu.ru
Вконтакте:  https://vk.com/iobdu
Твиттер:  https://twitter.com/@iobdu
Youtube:  https://youtube.com/user/ivobdu
 +7 (4932) 32-80-88 +7 (4932) 30-17-26 +7 (4932) 32-76-80 +7 (4932) 41-44-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека
Нижегородская область, Кстовский район, пос. Селекционной станции
Селекционной Станции пос., 34а
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (83145) 7-95-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Ново-Ленино
Баумана, 201/1
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
cbs.irkipedia.ru
 +7 (3952) 50-24-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. С.А. Есенина
Санкт-Петербург, Санкт-Петербург, Фрунзенский район, МО №71 "Волковское"
Лиговский проспект, 215
Расположение на карте
зимний период: пн-пт 11:00-19:00; сб 10:00-18:00; санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (812) 766-28-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. И.В. Мичурина
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Октябрьский район
Тарновского-Терлецкого, 26
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 10:00-18:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_library
Facebook:  https://facebook.com/donlib.ru
Твиттер:  https://twitter.com/@cbsrostovskaya
 +7 (863) 223-29-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №4
Оренбургская область, Оренбург городской округ, Оренбург, Промышленный район, Малая земля
Ноябрьская, 58/1
Расположение на карте
зимний период: вт-пт 10:00-18:00; сб-вс 10:00-17:00; пн выходной
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 10:00-17:00
 +7 (3532) 52-30-41
Показать номер
Рецензии и отзывы
Егор Петров
Верификация программ : учебно-методическое пособие. Ч. 1 : Нерекурсивные программы. В книге описывается работа с программой-аниматором, приводящая к передаче абстрактного кода. Называются ключевые позиции для работы с ними.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека, МБУК
Московская область, Ленинский район, пос. Дубровский
Восточная, 15
Расположение на карте
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-20:00
biblio-vidnoe.ru
Вконтакте:  https://vk.com/club35532545
Facebook:  https://facebook.com/270433469696779
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека Пушкинского муниципального района, МБУК
Московская область, Пушкинский район, Пушкино, Звягино м-н
Колхозная, 2
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Пт: 10:00-14:00 15:00-19:00
Сб: 10:00-14:00 15:00-19:00
Вс: 10:00-14:00 15:00-19:00
bibliopushkino.ru
 +7 (49653) 7-87-42
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11, МБУК Центральная городская библиотека
Камчатский край, Петропавловск-Камчатский городской округ, Петропавловск-Камчатский, Моховая м-н
Арсеньева, 6а
Расположение на карте
зимний период: пн-сб 12:00-19:00
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вконтакте:  https://vk.com/kamlibpk
Инстаграм:  https://instagram.com/kamlibpk
Facebook:  https://facebook.com/kamlibpk
Одноклассники:  https://ok.ru/kamlibpk
Youtube:  https://youtube.com/channel/UCLXNmyAvFHE4TdhTCQdmSqg
 +7 (4152) 22-59-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека
Хабаровский край, Амурский район, Амурск, 8-й микрорайон
Комсомольский проспект, 63
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
lib.amursk.ru
 +7 (42142) 9-97-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ивановская областная библиотека для детей и юношества
Ивановская область, Иваново городской округ, Иваново, Ленинский район
Крутицкая, 9
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
iv-obdu.ru
Вконтакте:  https://vk.com/iobdu
Твиттер:  https://twitter.com/@iobdu
Youtube:  https://youtube.com/user/ivobdu
 +7 (4932) 32-80-88 +7 (4932) 30-17-26 +7 (4932) 32-76-80 +7 (4932) 41-44-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека
Нижегородская область, Кстовский район, пос. Селекционной станции
Селекционной Станции пос., 34а
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (83145) 7-95-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Ново-Ленино
Баумана, 201/1
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
cbs.irkipedia.ru
 +7 (3952) 50-24-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. С.А. Есенина
Санкт-Петербург, Санкт-Петербург, Фрунзенский район, МО №71 "Волковское"
Лиговский проспект, 215
Расположение на карте
зимний период: пн-пт 11:00-19:00; сб 10:00-18:00; санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (812) 766-28-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. И.В. Мичурина
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Октябрьский район
Тарновского-Терлецкого, 26
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 10:00-18:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_library
Facebook:  https://facebook.com/donlib.ru
Твиттер:  https://twitter.com/@cbsrostovskaya
 +7 (863) 223-29-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №4
Оренбургская область, Оренбург городской округ, Оренбург, Промышленный район, Малая земля
Ноябрьская, 58/1
Расположение на карте
зимний период: вт-пт 10:00-18:00; сб-вс 10:00-17:00; пн выходной
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 10:00-17:00
 +7 (3532) 52-30-41
Показать номер
Информация от пользователей
Азат Нагирян
Верификация программ : учебно-методическое пособие. Ч. 1 : Нерекурсивные программы. В книге описывается процесс верификации программ, в котором используются рекурсивные алгоритмы, а также приводятся примеры программ, которые можно верифицировать таким образом. В пособии рассматривается подход к верификации программ на основе рекурсивных алгоритмов, который широко применяется в настоящее время, с привлечением рекурсивной символики в качестве средства представления логических конструкций. Для иллюстрации приводятся программы, демонстрирующие возможности данного подхода.
Прикрепить файл
Книга находятся в категориях.