Верификация моделей программ : учебное пособие : для студентов специальности Прикладная математика и информатика
1749
Купить
Краткое содержание:
Экранизация книги

Верификация моделей программ : учебное пособие : для студентов специальности Прикладная математика и информатика

Автор:
Кузьмин Егор Владимирович (канд. физ.-мат. наук)
Год:
2008
isbn:
978-5-8397-0599-9
Язык:
Русский
Страниц:
174
Описание:
Кузьмин Е. В. Верификация моделей программ : учебное пособие : для студентов специальности Прикладная математика и информатика / Е.В. Кузьмина; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Яросл. гос. ун-т им. П.Г. Демидова. - Ярославль : Ярославский государственный университет, 2008. - 174 с. : ил. ; 20 см. - Библиогр.: с. 173-174 (25 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация → Учебные издания для высших учебных заведений
Примечания:
Библиогр.: с. 173-174 (25 назв.)
Дата создания:
2020-12-06 23:45:12
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Верификация моделей программ : учебное пособие : для студентов специальности Прикладная математика и информатика

Заказать реферат Узнать стоимость Скачать пример
1.1 Правильность программ. Актуальность верификации.
Курс "Верификация программ на моделях", ВМК МГУ имени М.В.Ломоносова, 3 поток 4-го курса, 8 семестр.
Konstantin Savenkov
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Верификация моделей программ : учебное пособие : для студентов специальности Прикладная математика и информатика
Опросы
Она написана в стихах?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Верификация моделей программ : учебное пособие : для студентов специальности Прикладная математика и информатика

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Постановка задачи верификации программ
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Дедуктивная верификация программ Программа как ...
Irina Shoshmina
2.4 Построение моделей программ.
Курс "Верификация программ на моделях", ВМК МГУ имени М.В.Ломоносова, 3 поток 4-го курса, 8 семестр.
Konstantin Savenkov
Урок 6. Создание проекта в Vericut, проверка управляющей программы
Импорт моделей в stl формате в Vericut Настройка системы координат Проверка управляющей программы на корректность.
Alexander Fedorovtsev
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №142 для дітей
Киев город со специальным статусом, Київ, Голосіївський район, Теремки-2
Композитора Лятошинського, 26г
Расположение на карте
санитарный день: последний четверг месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
ditbibl142.blogspot.com
 +380 (44) 250-07-36 +380 (44) 250-07-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, МБУК
Республика Коми, Сыктывкар городской округ, Сыктывкар, Верхняя Максаковка
Лесная (Верхняя Максаковка), 13
Расположение на карте
санитарный день: последний вт месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Вс: 11:00-17:00
cbs-sykt.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №10
Рязанская область, Рязань городской округ, Рязань, Советский округ, Центральный
Маяковского, 22
Расположение на карте
летний период: сб, вс выходной; санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
www.csdb62.ru
Вконтакте:  https://vk.com/csdb62
 +7 (4912) 45-80-32
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Иркутская областная государственная универсальная научная библиотека им. И.И. Молчанова-Сибирского
Иркутская область, Иркутск городской округ, Иркутск, Свердловский округ
Лермонтова, 253
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
www.irklib.ru
Вконтакте:  https://vk.com/molchanovka
Инстаграм:  https://instagram.com/molchanovka
Facebook:  https://facebook.com/iogunb
 +7 (3952) 48-66-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17
Приморский край, Владивостокский городской округ, Владивосток, Первореченский район
Иртышская, 42
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
vladlib.ru
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@vladlibrary
 +7 (423) 236-71-00
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №9, Красносельский район
Санкт-Петербург, Санкт-Петербург, Красносельский район, МО №40 "Урицк"
Партизана Германа, 22
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
 +7 (812) 736-90-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
РЖД, ОАО, центр научно-технической информации и библиотек
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Железнодорожный район
Привокзальная площадь, 6а
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (863) 259-42-11 +7 (863) 259-07-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Аючевская сельская библиотека №3
Республика Башкортостан, Стерлитамакский район, с. Аючево
Янаульская, 47а
Расположение на карте
Пн: 08:30-12:30 14:00-17:30
Вт: 08:30-12:30 14:00-17:30
Ср: 08:30-12:30 14:00-17:30
Чт: 08:30-12:30 14:00-17:30
Пт: 08:30-12:30 14:00-17:30
 +7 (3473) 27-89-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11 им. О.М. Любовикова
Кировская область, Киров городской округ, Киров, Октябрьский район
Монтажников, 22
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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-18:00
 +7 (8332) 22-48-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Мурыгинская детская библиотека
Кировская область, Юрьянский район, пгт Мурыгино
Красных Курсантов, 5
Расположение на карте
зимний период: пн-чт 9:00-18:00, перерыв: 13:00-14:00; пт 9:00-17:00, перерыв: 13:00-14:00; вс 10:00-16:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-17:00
Вконтакте:  https://vk.com/murdetbib
 +7 (83366) 2-73-45
Показать номер
Введение в формальную верификацию программ, лекция 1 | А. Трунов
Курс "Введение в формальную верификацию программ" в Computer Science клубе. Лектор: Антон Трунов (Zilliqa Research) Дата: 11 марта 2021 ...
Computer Science Club Введение в формальную верификацию программ, лекция 2 | А. Трунов
Курс "Введение в формальную верификацию программ" в Computer Science клубе. Лектор: Антон Трунов (Zilliqa Research) Дата: 18 марта 2021 ...
Computer Science Club Примеры верификации программ в Политехе
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Проверка корректности реагирующих программ ...
Irina Shoshmina О верификации программ, манипулирующих строковыми данными
Непейвода Антонина Николаевна — м.н.с. центра мультипроцессорных систем ИПС им. А.К. Айламазяна РАН. Научные интересы: преобразование и ...
ИСП РАН
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №142 для дітей
Киев город со специальным статусом, Київ, Голосіївський район, Теремки-2
Композитора Лятошинського, 26г
Расположение на карте
санитарный день: последний четверг месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
ditbibl142.blogspot.com
 +380 (44) 250-07-36 +380 (44) 250-07-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, МБУК
Республика Коми, Сыктывкар городской округ, Сыктывкар, Верхняя Максаковка
Лесная (Верхняя Максаковка), 13
Расположение на карте
санитарный день: последний вт месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Вс: 11:00-17:00
cbs-sykt.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №10
Рязанская область, Рязань городской округ, Рязань, Советский округ, Центральный
Маяковского, 22
Расположение на карте
летний период: сб, вс выходной; санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
www.csdb62.ru
Вконтакте:  https://vk.com/csdb62
 +7 (4912) 45-80-32
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Иркутская областная государственная универсальная научная библиотека им. И.И. Молчанова-Сибирского
Иркутская область, Иркутск городской округ, Иркутск, Свердловский округ
Лермонтова, 253
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
www.irklib.ru
Вконтакте:  https://vk.com/molchanovka
Инстаграм:  https://instagram.com/molchanovka
Facebook:  https://facebook.com/iogunb
 +7 (3952) 48-66-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17
Приморский край, Владивостокский городской округ, Владивосток, Первореченский район
Иртышская, 42
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
vladlib.ru
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@vladlibrary
 +7 (423) 236-71-00
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №9, Красносельский район
Санкт-Петербург, Санкт-Петербург, Красносельский район, МО №40 "Урицк"
Партизана Германа, 22
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
 +7 (812) 736-90-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
РЖД, ОАО, центр научно-технической информации и библиотек
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Железнодорожный район
Привокзальная площадь, 6а
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (863) 259-42-11 +7 (863) 259-07-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Аючевская сельская библиотека №3
Республика Башкортостан, Стерлитамакский район, с. Аючево
Янаульская, 47а
Расположение на карте
Пн: 08:30-12:30 14:00-17:30
Вт: 08:30-12:30 14:00-17:30
Ср: 08:30-12:30 14:00-17:30
Чт: 08:30-12:30 14:00-17:30
Пт: 08:30-12:30 14:00-17:30
 +7 (3473) 27-89-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11 им. О.М. Любовикова
Кировская область, Киров городской округ, Киров, Октябрьский район
Монтажников, 22
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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-18:00
 +7 (8332) 22-48-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Мурыгинская детская библиотека
Кировская область, Юрьянский район, пгт Мурыгино
Красных Курсантов, 5
Расположение на карте
зимний период: пн-чт 9:00-18:00, перерыв: 13:00-14:00; пт 9:00-17:00, перерыв: 13:00-14:00; вс 10:00-16:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-17:00
Вконтакте:  https://vk.com/murdetbib
 +7 (83366) 2-73-45
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.