Применение теории дедуктивного вывода к синтезу программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)
610
Купить
Краткое содержание:
Экранизация книги

Применение теории дедуктивного вывода к синтезу программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

Автор:
Сухих Александр Юрьевич
Год:
1988
Язык:
Русский
Страниц:
16
Описание:
Сухих А.Ю. Применение теории дедуктивного вывода к синтезу программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09) / Моск. физ.-техн. ин-т. - М., 1988. - 16 с. - Библиогр.: с. 16 (7 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 16 (7 назв.)
Дата создания:
2021-01-07 17:22:23
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Применение теории дедуктивного вывода к синтезу программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

Заказать реферат Узнать стоимость Скачать пример
2012.04.25 Павел Григоренко - CoCoViLa: визуальные ДСЛы и автоматический синтез программ
DEVCLUB.EU
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Применение теории дедуктивного вывода к синтезу программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)
Опросы
Там присутствует главный герой?
Да, он мужчина.
Да, это женщина.
Нет.
Не знаю.
Не знаю
Содержание

Реставрация Применение теории дедуктивного вывода к синтезу программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Антонович Е.Н. Категории теории познания, пространство и время в ФТС
Антонович Евгений Николаевич. Категории теории познания, пространство и время в ФТС 26 июля 2018 года Конгресс ...
Egor Pesterev
Примеры аксиоматических теорий
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Аксиоматические ...
Irina Shoshmina
"ЛогикУМ"
Предлагаемый курс "ЛогикУм" познакомит детей с основными понятиями логики и научит применять на практике: ...
Хорошкола
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека, МБУК
Московская область, Ленинский район, пос. Володарского
Центральная, 25/1
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00
biblio-vidnoe.ru
Вконтакте:  https://vk.com/club35532545
Facebook:  https://facebook.com/270433469696779
 +7 (49854) 8-70-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская городская библиотека, г. Ивантеевка
Московская область, Ивантеевка городской округ, Ивантеевка
Центральный проезд, 1
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 11:00-19:00
 +7 (49653) 6-08-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. В.А. Сухомлинского
Чувашская Республика, Чебоксары городской округ, Чебоксары, Московский район, Чапаевский
Энтузиастов, 21
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-17:00
 +7 (8352) 34-58-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.А. Каверина
Красноярский край, Красноярск городской округ, Красноярск, Свердловский район
Семафорная, 251
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
www.perensona23.ru
Вконтакте:  https://vk.com/club36255413
 +7 (391) 236-65-46
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Г.Е. Николаевой
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Приокский район, Щербинки 1
Щербинки 1-й микрорайон, 26
санитарный день: последний чт месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Вс: 09:00-17:30
 +7 (831) 462-74-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека № 21, МУП Тульская библиотечная система
Тульская область, Тула городской округ, Тула, Центральный район, Южный
Шахтёрская, 49Б
санитарный день: последняя ср месяца
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
tbclib.ru
 +7 (4872) 31-49-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Юношеская библиотека №3 им. Н. Островского
Санкт-Петербург, Санкт-Петербург, Василеостровский район, МО №7
17-я линия В.О., 14а
санитарный день: последний рабочий день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00
cbs-vo.spb.ru
Вконтакте:  https://vk.com/bibliotekaostrovskogo
 +7 (812) 417-25-23 +7 (812) 417-25-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Немецкий культурный центр им. Гёте
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №2 "Сенной"
Набережная реки Мойки, 58
Вт: 15:00-19:00
Ср: 15:00-19:00
Чт: 11:00-19:00
Пт: 11:00-17:00
Сб: 14:00-17:00
www.goethe.de/spb
Вконтакте:  https://vk.com/gi_petersburg
Facebook:  https://facebook.com/GoetheInstitutSPb
Твиттер:  https://twitter.com/@gi_petersburg
Youtube:  https://youtube.com/user/goetherussland
 +7 (812) 314-40-15 +7 (812) 363-11-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Всеволожская городская библиотека им. Ю.Г. Слепухина
Ленинградская область, Всеволожский район, Всеволожск
Александровская, 82
санитарный день: последний пн месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Сб: 12:00-19:00
Вс: 12:00-19:00
www.vsevbiblioteka.com
Вконтакте:  https://vk.com/id297132142
 +7 (81370) 2-52-84 +7 (81370) 2-52-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Волгоградская областная детская библиотека
Волгоградская область, Волгоград городской округ, Волгоград, Центральный район
Маршала Рокоссовского, 48
санитарный день: последний пн месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
biblioteka-volgograd.ru
 +7 (8442) 37-08-47 +7 (8442) 37-72-38 +7 (8442) 37-72-56
Показать номер
Стрим с постмонтажом: Крупнейшие заблуждения о формальной логике
Полная версия стрима без монтажа: https://www.youtube.com/watch?v=3Ina32SJWMY Финансовую поддержку каналу можно ...
Лекс Кравецкий Методы исследования в курсовой и дипломной работе. Как правильно написать? Примеры
Расскажем простыми словами и приведем примеры, как правильно написать методы исследования в курсовой, дипломной ...
Anti Antiplagiat От формальной логики к диалектике. Лекция Вадима Винника.
Формальная логика, как и любая дисциплина имеет свои пределы. Что же за ними? Что может помочь человечеству найти ...
КрасноBY Лекция 6 ЕНС "Математическая теория программирования", 8 октября 2021
Завершение темы о верификации параллельных и распределенных программ, сведение задачи верификации ...
Andrew Mironov
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека, МБУК
Московская область, Ленинский район, пос. Володарского
Центральная, 25/1
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00
biblio-vidnoe.ru
Вконтакте:  https://vk.com/club35532545
Facebook:  https://facebook.com/270433469696779
 +7 (49854) 8-70-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская городская библиотека, г. Ивантеевка
Московская область, Ивантеевка городской округ, Ивантеевка
Центральный проезд, 1
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 11:00-19:00
 +7 (49653) 6-08-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. В.А. Сухомлинского
Чувашская Республика, Чебоксары городской округ, Чебоксары, Московский район, Чапаевский
Энтузиастов, 21
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-17:00
 +7 (8352) 34-58-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.А. Каверина
Красноярский край, Красноярск городской округ, Красноярск, Свердловский район
Семафорная, 251
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
www.perensona23.ru
Вконтакте:  https://vk.com/club36255413
 +7 (391) 236-65-46
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Г.Е. Николаевой
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Приокский район, Щербинки 1
Щербинки 1-й микрорайон, 26
санитарный день: последний чт месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Вс: 09:00-17:30
 +7 (831) 462-74-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека № 21, МУП Тульская библиотечная система
Тульская область, Тула городской округ, Тула, Центральный район, Южный
Шахтёрская, 49Б
санитарный день: последняя ср месяца
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
tbclib.ru
 +7 (4872) 31-49-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Юношеская библиотека №3 им. Н. Островского
Санкт-Петербург, Санкт-Петербург, Василеостровский район, МО №7
17-я линия В.О., 14а
санитарный день: последний рабочий день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00
cbs-vo.spb.ru
Вконтакте:  https://vk.com/bibliotekaostrovskogo
 +7 (812) 417-25-23 +7 (812) 417-25-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Немецкий культурный центр им. Гёте
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №2 "Сенной"
Набережная реки Мойки, 58
Вт: 15:00-19:00
Ср: 15:00-19:00
Чт: 11:00-19:00
Пт: 11:00-17:00
Сб: 14:00-17:00
www.goethe.de/spb
Вконтакте:  https://vk.com/gi_petersburg
Facebook:  https://facebook.com/GoetheInstitutSPb
Твиттер:  https://twitter.com/@gi_petersburg
Youtube:  https://youtube.com/user/goetherussland
 +7 (812) 314-40-15 +7 (812) 363-11-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Всеволожская городская библиотека им. Ю.Г. Слепухина
Ленинградская область, Всеволожский район, Всеволожск
Александровская, 82
санитарный день: последний пн месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Сб: 12:00-19:00
Вс: 12:00-19:00
www.vsevbiblioteka.com
Вконтакте:  https://vk.com/id297132142
 +7 (81370) 2-52-84 +7 (81370) 2-52-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Волгоградская областная детская библиотека
Волгоградская область, Волгоград городской округ, Волгоград, Центральный район
Маршала Рокоссовского, 48
санитарный день: последний пн месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
biblioteka-volgograd.ru
 +7 (8442) 37-08-47 +7 (8442) 37-72-38 +7 (8442) 37-72-56
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.