Частичная верификация программ на языке символьного процессора : Автореф. дис. на соиск. учен. степ. к. ф.-м. н
2169
Купить
Краткое содержание:
Экранизация книги

Частичная верификация программ на языке символьного процессора : Автореф. дис. на соиск. учен. степ. к. ф.-м. н

Автор:
Шарипбаев Алтынбек Амирович
Год:
1982
Язык:
Русский
Страниц:
17
Описание:
Шарипбаев А.А. Частичная верификация программ на языке символьного процессора : Автореф. дис. на соиск. учен. степ. к. ф.-м. н. - М., 1982. - 17 с. - Библиогр.: с. 16-17
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычисл. математики и кибернетики, Каф. системного программирования . - Библиогр.: с. 16-17
Дата создания:
2020-09-14 19:31:24
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Частичная верификация программ на языке символьного процессора : Автореф. дис. на соиск. учен. степ. к. ф.-м. н

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

Реставрация Частичная верификация программ на языке символьного процессора : Автореф. дис. на соиск. учен. степ. к. ф.-м. н

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна міська бібліотека
Днепропетровская область, Новомосковск
Гетманская, 41а
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Сб: 09:00-17:00
Вс: 09:00-17:00
 +380 (5693) 7-14-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №131
Москва, Москва, Марьино район
Братиславская, 26
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuvao.ru
Вконтакте:  https://vk.com/lib_uvao
Инстаграм:  https://instagram.com/lib_uvao
Facebook:  https://facebook.com/libuvao
Твиттер:  https://twitter.com/@lib_uvao
 +7 (495) 346-17-01 +7 (495) 346-17-00 +7 (499) 722-21-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Книгочей, библиотека семейного чтения
Республика Саха (Якутия), Якутск городской округ, с. Табага
Каландарашвили, 9
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
www.belinka-lib.ru
 +7 (4112) 40-85-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2
Тюменская область, Ялуторовск городской округ, Ялуторовск
Комсомольская, 63/1
Расположение на карте
санитарный день: последний чт месяца
Вт: 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
 +7 (34535) 3-51-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека для детей и взрослых
Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Комсомольский район, ЗЯБ
Сармановский тракт, 48
Расположение на карте
сентябрь-май: пн-пт 10:00-18:00; сб 9:00-17:00; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (8552) 46-51-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Волховская библиотека
Новгородская область, Новгородский район, Великий Новгород, Волховский
Новгородская, 9
Расположение на карте
санитарный день: 29 число месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
www.biblionika.info
Вконтакте:  https://vk.com/biblionika
Youtube:  https://youtube.com/user/Biblionika
 +7 (8162) 64-62-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система, МКУ
Челябинская область, Миасский городской округ, Миасс, Динамо посёлок ж/м
Готвальда, 6
Расположение на карте
зимний период: пн-пт 9:00-18:00; сб 9:00-17:30; санитарный день: второй чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.miasslib.ru
Вконтакте:  https://vk.com/miasslib
Facebook:  https://facebook.com/miasslib
Одноклассники:  https://ok.ru/miasslib
 +7 (3513) 57-94-32
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Октябрьский проспект, 16
Расположение на карте
санитарный день: последняя ср месяца; летний период: вт-сб 10:00-18:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7 (3843) 77-18-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6, г. Стерлитамак
Республика Башкортостан, Стерлитамак городской округ, Стерлитамак, Западный
Элеваторная, 116
Расположение на карте
санитарный день: первая ср месяца
Пн: 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
Вс: 09:00-17:00
 +7 (3473) 20-50-98
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Росток, библиотека
Республика Хакасия, Абакан городской округ, Абакан, Полярный
Маршала Жукова, 88
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (3902) 27-89-47
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна міська бібліотека
Днепропетровская область, Новомосковск
Гетманская, 41а
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Сб: 09:00-17:00
Вс: 09:00-17:00
 +380 (5693) 7-14-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №131
Москва, Москва, Марьино район
Братиславская, 26
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuvao.ru
Вконтакте:  https://vk.com/lib_uvao
Инстаграм:  https://instagram.com/lib_uvao
Facebook:  https://facebook.com/libuvao
Твиттер:  https://twitter.com/@lib_uvao
 +7 (495) 346-17-01 +7 (495) 346-17-00 +7 (499) 722-21-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Книгочей, библиотека семейного чтения
Республика Саха (Якутия), Якутск городской округ, с. Табага
Каландарашвили, 9
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
www.belinka-lib.ru
 +7 (4112) 40-85-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2
Тюменская область, Ялуторовск городской округ, Ялуторовск
Комсомольская, 63/1
Расположение на карте
санитарный день: последний чт месяца
Вт: 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
 +7 (34535) 3-51-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека для детей и взрослых
Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Комсомольский район, ЗЯБ
Сармановский тракт, 48
Расположение на карте
сентябрь-май: пн-пт 10:00-18:00; сб 9:00-17:00; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (8552) 46-51-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Волховская библиотека
Новгородская область, Новгородский район, Великий Новгород, Волховский
Новгородская, 9
Расположение на карте
санитарный день: 29 число месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
www.biblionika.info
Вконтакте:  https://vk.com/biblionika
Youtube:  https://youtube.com/user/Biblionika
 +7 (8162) 64-62-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система, МКУ
Челябинская область, Миасский городской округ, Миасс, Динамо посёлок ж/м
Готвальда, 6
Расположение на карте
зимний период: пн-пт 9:00-18:00; сб 9:00-17:30; санитарный день: второй чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.miasslib.ru
Вконтакте:  https://vk.com/miasslib
Facebook:  https://facebook.com/miasslib
Одноклассники:  https://ok.ru/miasslib
 +7 (3513) 57-94-32
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Октябрьский проспект, 16
Расположение на карте
санитарный день: последняя ср месяца; летний период: вт-сб 10:00-18:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7 (3843) 77-18-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6, г. Стерлитамак
Республика Башкортостан, Стерлитамак городской округ, Стерлитамак, Западный
Элеваторная, 116
Расположение на карте
санитарный день: первая ср месяца
Пн: 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
Вс: 09:00-17:00
 +7 (3473) 20-50-98
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Росток, библиотека
Республика Хакасия, Абакан городской округ, Абакан, Полярный
Маршала Жукова, 88
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (3902) 27-89-47
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.