Верификация автоматных программ
1779
Купить
Краткое содержание:
Экранизация книги

Верификация автоматных программ

Авторы:
Вельдер Сергей Эдуардович
Лукин Михаил Андреевич
Шалыто Анатолий Абрамович
Яминов Булат Равилевич
Год:
2011
isbn:
978-5-02-038160-5
Язык:
Русский
Описание:
Вельдер С. Э., Сергей Эдуардович, Лукин М. А., Михаил Андреевич, Шалыто А. А., Анатолий Абрамович, Яминов Б. Р., Булат Равилевич Верификация автоматных программ / С.Э. Вельдер, М.А. Лукин, А.А. Шалыто, Б.Р. Ямнов; М-во образования и науки Рос. Федерации, С.-Петерб. гос. ун-т информ. технологий, механики и оптики. - Санкт-Петербург : Наука, 2011. - 242, [1] с. ; 23 см. - Библиогр.: с. 231-239 (99 назв.). - Алф. указ.: с. 240-242
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация
Примечания:
Библиогр.: с. 231-239 (99 назв.) . - Алф. указ.: с. 240-242
Дата создания:
2021-06-03 17:16:01
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Верификация автоматных программ

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

Реставрация Верификация автоматных программ

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека Первого Президента РК-Елбасы, ГУ
Астана, Астана, Есиль район
Алихана Бокейхана проспект, 1
Расположение на карте
администрация: пн-пт 9:00-18:00, перерыв: 13:00-14:30
Вт: 10:00-13:00 14:30-18:00
Ср: 10:00-13:00 14:30-18:00
Чт: 10:00-13:00 14:30-18:00
Пт: 10:00-13:00 14:30-18:00
presidentlibrary.kz
Инстаграм:  https://instagram.com/president_library
Facebook:  https://facebook.com/1602456406699437
 8-800-080-15-05 +7 (7172) 23-51-25 +7 (7172) 69-30-07 +7 (7172) 69-30-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
SMART, библиотека №197 им. А.А. Ахматовой
Москва, Москва, Крылатское район
Крылатские Холмы, 34
Расположение на карте
санитарный день: последняя пт месяца; третий чт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
smart.bibliozao.ru
Вконтакте:  https://vk.com/club26445685
 +7 (495) 415-90-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №148 им. Ф.И. Тютчева
Москва, Москва
Балаклавский проспект, 12 к3
Расположение на карте
санитарный день: последний пт месяца
Вт: 15:00-19:00
Ср: 15:00-19:00
Чт: 15:00-19:00
Пт: 15:00-19:00
Сб: 15:00-19:00
 +7 (495) 316-79-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
Расположение на карте
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
nbmgu.ru
oralhistory.ru
prozhito.org
 +7 (495) 939-53-50
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №29 им. А.П. Гайдара
Свердловская область, Екатеринбург городской округ, Екатеринбург, Чкаловский район, Химмаш
Грибоедова, 23
Расположение на карте
санитарный день: последняя ср месяца
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
моб.екатеринбург.рф
Вконтакте:  https://vk.com/mob_bibl29ekb
Инстаграм:  https://instagram.com/ekmob.ru
Facebook:  https://facebook.com/bibl29ekb
Одноклассники:  https://ok.ru/group52723426787461
Youtube:  https://youtube.com/user/MOBekm
 +7 (343) 258-10-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Боровская сельская библиотека
Тюменская область, Тюменский район, рп. Боровский
Мира, 14
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
 +7 (3452) 722-089
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Комсомольский район, ЗЯБ
15-й комплекс, 18
Расположение на карте
сентябрь-май: пн-сб 9:00-17:00; вс выходной; санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (8552) 46-67-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская детская библиотека
Ивановская область, Иваново городской округ, Иваново, Ленинский район
Шубиных, 16Б
Расположение на карте
санитарный день: 16 число месяца, последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (4932) 56-54-11 +7 (4932) 56-54-46
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, с. Костенково
Центральная, 11а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 08:30-12:00 12:30-17:00
Вт: 08:30-12:00 12:30-17:00
Ср: 08:30-12:00 12:30-17:00
Чт: 08:30-12:00 12:30-17:00
Пт: 08:30-12:00 12:30-17:00
Сб: 09:30-14:00
www.rcbs-nmr.kuzreg.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Пушкина
Свердловская область, Каменск-Уральский городской округ, Каменск-Уральский, Синарский район, микрорайон Октябрьский
Тевосяна, 13
Расположение на карте
июнь-август: пн-пт 9:00-18:00; санитарный день: последний рабочий день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 10:00-16:00
cbs.kamensk.ru
Вконтакте:  https://vk.com/id273573495
Инстаграм:  https://instagram.com/pushkinka_kaur
Facebook:  https://facebook.com/puchkinka
Одноклассники:  https://ok.ru/profile/578068885297
Youtube:  https://youtube.com/channel/UC1qA2RlOcjeA4e3zQ1wgICA
 +7 (3439) 530-540
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека Первого Президента РК-Елбасы, ГУ
Астана, Астана, Есиль район
Алихана Бокейхана проспект, 1
Расположение на карте
администрация: пн-пт 9:00-18:00, перерыв: 13:00-14:30
Вт: 10:00-13:00 14:30-18:00
Ср: 10:00-13:00 14:30-18:00
Чт: 10:00-13:00 14:30-18:00
Пт: 10:00-13:00 14:30-18:00
presidentlibrary.kz
Инстаграм:  https://instagram.com/president_library
Facebook:  https://facebook.com/1602456406699437
 8-800-080-15-05 +7 (7172) 23-51-25 +7 (7172) 69-30-07 +7 (7172) 69-30-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
SMART, библиотека №197 им. А.А. Ахматовой
Москва, Москва, Крылатское район
Крылатские Холмы, 34
Расположение на карте
санитарный день: последняя пт месяца; третий чт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
smart.bibliozao.ru
Вконтакте:  https://vk.com/club26445685
 +7 (495) 415-90-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №148 им. Ф.И. Тютчева
Москва, Москва
Балаклавский проспект, 12 к3
Расположение на карте
санитарный день: последний пт месяца
Вт: 15:00-19:00
Ср: 15:00-19:00
Чт: 15:00-19:00
Пт: 15:00-19:00
Сб: 15:00-19:00
 +7 (495) 316-79-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
Расположение на карте
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
nbmgu.ru
oralhistory.ru
prozhito.org
 +7 (495) 939-53-50
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №29 им. А.П. Гайдара
Свердловская область, Екатеринбург городской округ, Екатеринбург, Чкаловский район, Химмаш
Грибоедова, 23
Расположение на карте
санитарный день: последняя ср месяца
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
моб.екатеринбург.рф
Вконтакте:  https://vk.com/mob_bibl29ekb
Инстаграм:  https://instagram.com/ekmob.ru
Facebook:  https://facebook.com/bibl29ekb
Одноклассники:  https://ok.ru/group52723426787461
Youtube:  https://youtube.com/user/MOBekm
 +7 (343) 258-10-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Боровская сельская библиотека
Тюменская область, Тюменский район, рп. Боровский
Мира, 14
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
 +7 (3452) 722-089
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Комсомольский район, ЗЯБ
15-й комплекс, 18
Расположение на карте
сентябрь-май: пн-сб 9:00-17:00; вс выходной; санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (8552) 46-67-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская детская библиотека
Ивановская область, Иваново городской округ, Иваново, Ленинский район
Шубиных, 16Б
Расположение на карте
санитарный день: 16 число месяца, последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (4932) 56-54-11 +7 (4932) 56-54-46
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, с. Костенково
Центральная, 11а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 08:30-12:00 12:30-17:00
Вт: 08:30-12:00 12:30-17:00
Ср: 08:30-12:00 12:30-17:00
Чт: 08:30-12:00 12:30-17:00
Пт: 08:30-12:00 12:30-17:00
Сб: 09:30-14:00
www.rcbs-nmr.kuzreg.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Пушкина
Свердловская область, Каменск-Уральский городской округ, Каменск-Уральский, Синарский район, микрорайон Октябрьский
Тевосяна, 13
Расположение на карте
июнь-август: пн-пт 9:00-18:00; санитарный день: последний рабочий день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 10:00-16:00
cbs.kamensk.ru
Вконтакте:  https://vk.com/id273573495
Инстаграм:  https://instagram.com/pushkinka_kaur
Facebook:  https://facebook.com/puchkinka
Одноклассники:  https://ok.ru/profile/578068885297
Youtube:  https://youtube.com/channel/UC1qA2RlOcjeA4e3zQ1wgICA
 +7 (3439) 530-540
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.