Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

2036

Купить

Краткое содержание:

Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

Name: Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)
Rating: 4.5

Автор:

Петрушин Валерий Александрович

Год:

1983

Язык:

Русский

Страниц:

Описание:

Петрушин В.А. Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10). - Киев, 1983. - 24 с. : схем. - Библиогр.: с. 23-24 (5 назв.)

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

–

Примечания:

В надзаг.: АН УССР, Ин-т кибернетики им. В.М. Глушкова . - Библиогр.: с. 23-24 (5 назв.)

Дата создания:

2021-06-25 23:34:18

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

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

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

Заработать от 15 000 руб. до 150 000 руб.

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №148 им. Ф.И. Тютчева

Москва, Москва
Чонгарский бульвар, 10 к2
Расположение на карте

санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00

+7 (499) 610-19-12 +7 (499) 619-08-52

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №210

Москва, Москва, Фили-Давыдково район
Аминьевское шоссе, 24
Расположение на карте

санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00

Вконтакте: https://vk.com/library37210
Facebook: https://facebook.com/library37

+7 (499) 445-05-11

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Луневская детская библиотека

Московская область, Солнечногорский район, пос. Лунёво
Лунёво посёлок, 26
Расположение на карте

Вт: 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-905-704-41-20

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Моя библиотека, детская библиотека

Республика Саха (Якутия), Якутск городской округ, Якутск, Центральный округ
Чернышевского, 12/1
Расположение на карте

зимний период: пн-сб 9: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

www.belinka-lib.ru
Инстаграм: https://instagram.com/sbc_f15

+7 (4112) 450-212

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Информационно-библиотечный центр для детей и юношества им. Г.Г. Поротова, МБУК Центральная городская библиотека

Камчатский край, Петропавловск-Камчатский городской округ, Петропавловск-Камчатский
Войцешека, 7а
Расположение на карте

зимний период: пн-сб 12:00-18:00; санитарный день: последний день месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00

lib-pk.ru
biblart.blogspot.com
Вконтакте: 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) 26-20-70 +7 (4152) 23-23-06

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №6 им. Е.А. Никонова

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Московский район, Бурнаковский
Куйбышева, 13
Расположение на карте

санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 09:00-16:00

+7 (831) 241-17-98

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Межпоселенческая библиотека Предгорного района

Ставропольский край, Предгорный район, пос. Пятигорский
Красноармейская, 20
Расположение на карте

санитарный день: последняя пт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00

www.bibliotekapr.3dn.ru

+7 (87961) 2-44-40

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ

Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Орджоникидзевский район, Абашево
Пушкина, 19
Расположение на карте

санитарный день: последняя ср месяца; летний период: пн-пт 10:00-18:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-17: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) 31-55-26

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Псковская областная специализированная библиотека для слепых

Псковская область, Псковский район, Псков, Запсковье
Набат, 5
Расположение на карте

санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Ставропольская централизованная библиотечная система

Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 18-й микрорайон
Шеболдаева переулок, 4
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00

www.stav-cbs.ru
Facebook: https://facebook.com/350511671813258

+7 (8652) 38-78-83

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №148 им. Ф.И. Тютчева

Москва, Москва
Чонгарский бульвар, 10 к2
Расположение на карте

санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00

+7 (499) 610-19-12 +7 (499) 619-08-52

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №210

Москва, Москва, Фили-Давыдково район
Аминьевское шоссе, 24
Расположение на карте

санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00

Вконтакте: https://vk.com/library37210
Facebook: https://facebook.com/library37

+7 (499) 445-05-11

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Луневская детская библиотека

Московская область, Солнечногорский район, пос. Лунёво
Лунёво посёлок, 26
Расположение на карте

Вт: 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-905-704-41-20

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Моя библиотека, детская библиотека

зимний период: пн-сб 9: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

www.belinka-lib.ru
Инстаграм: https://instagram.com/sbc_f15

+7 (4112) 450-212

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

+7 (4152) 26-20-70 +7 (4152) 23-23-06

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №6 им. Е.А. Никонова

санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 09:00-16:00

+7 (831) 241-17-98

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Межпоселенческая библиотека Предгорного района

Ставропольский край, Предгорный район, пос. Пятигорский
Красноармейская, 20
Расположение на карте

санитарный день: последняя пт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00

www.bibliotekapr.3dn.ru

+7 (87961) 2-44-40

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ

+7 (3843) 31-55-26

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Псковская областная специализированная библиотека для слепых

Псковская область, Псковский район, Псков, Запсковье
Набат, 5
Расположение на карте

санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Ставропольская централизованная библиотечная система

санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00

www.stav-cbs.ru
Facebook: https://facebook.com/350511671813258

+7 (8652) 38-78-83

Показать номер

Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

Купить

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

Курсовая по теме Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

ВКР/Диплом по теме Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

Диссертация по теме Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

Заработать на знаниях по теме Формализация семантики и верификация программ обработки данных : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.10)

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