Автоматическое доказательство формул корректности предикатной программы в системе Russell = Automatic proving of correctness formulas from programs in the Russell system
1031
Купить
Краткое содержание:
Экранизация книги

Автоматическое доказательство формул корректности предикатной программы в системе Russell = Automatic proving of correctness formulas from programs in the Russell system

Автор:
Батраков Виталий Алексеевич
Год:
2012
Язык:
Русский
Страниц:
32
Заглавие серии:
Препринт = Preprint / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 163
Описание:
Батраков В. А., Шелехов В. И. Автоматическое доказательство формул корректности предикатной программы в системе Russell = Automatic proving of correctness formulas from programs in the Russell system / В. А. Батраков, В. И. Шелехов. - Новосибирск : Институт систем информатики СО РАН, 2012. - 32 с. : ил., табл. ; 21 см. - (Препринт = Preprint / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 163). - Библиогр.: с. 32 (9 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Предикатное программирование(компьют.)
Примечания:
Авт. также на англ. яз.: V.A. Batrakov, V.I. Shelekhov . - Рез. на англ. яз. . - Библиогр.: с. 32 (9 назв.)
Дата создания:
2021-01-23 01:58:56
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Автоматическое доказательство формул корректности предикатной программы в системе Russell = Automatic proving of correctness formulas from programs in the Russell system

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Автоматическое доказательство формул корректности предикатной программы в системе Russell = Automatic proving of correctness formulas from programs in the Russell system
Опросы
Она является известной среди большинства?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Автоматическое доказательство формул корректности предикатной программы в системе Russell = Automatic proving of correctness formulas from programs in the Russell system

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая районная библиотека, с. Бирюковка
Астраханская область, Приволжский район, с. Бирюковка
Лесная, 14
Расположение на карте
Пн: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №29
Москва, Москва, Тимирязевский район
Дмитровское шоссе, 43
Расположение на карте
санитарный день: последний день месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
cbssao.ru
 +7 (499) 976-97-48
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная детская библиотека №8
Белгородская область, Старооскольский городской округ, Старый Оскол
Губкина проспект, 5
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт, вс 11: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
 +7 (4725) 24-04-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Областная универсальная научная библиотека
Саратовская область, Саратов городской округ, Саратов, Волжский район
Московская, 32
Расположение на карте
санитарный день: последний пн месяца
Пн: 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.sounb.ru
Вконтакте:  https://vk.com/sounbsaratovlibrary
 +7 (8452) 23-50-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №5 им. Е.Ф. Трутневой
Пермский край, Пермь городской округ, Пермь, Свердловский район, Центр
Полины Осипенко, 52
Расположение на карте
санитарный день: последний рабочий день месяца; июнь-август: пн-пт 10:00-18: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.biblioteki.perm.ru
Вконтакте:  https://vk.com/dbiblioteka5
 +7 (342) 207-51-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №5 им. А.И. Герцена
Пермский край, Пермь городской округ, Пермь, Орджоникидзевский район, Молодёжный
Академика Веденеева, 90
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт 11:00-19:00; сб 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
 +7 (342) 207-50-27
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4
Иркутская область, Братск городской округ, Братск, Центральный округ, 4-й микрорайон
Новый переулок, 4
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 11:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 11:00-18:00
Вконтакте:  https://vk.com/bratsk_bs4_4
 +7 (3953) 44-48-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2 им. Л.Н. Толстого
Санкт-Петербург, Санкт-Петербург, Василеостровский район, МО №7
6-я линия В.О., 17
Расположение на карте
зимний период: пн-пт 13:00-20:00; вс 11:00-18:00; санитарный день: последний день месяца
Пн: 13:00-20:00
Вт: 13:00-20:00
Ср: 13:00-20:00
Чт: 13:00-20:00
Пт: 13:00-20:00
Вконтакте:  https://vk.com/bktolstogo2
 +7 (812) 323-67-87 +7 (812) 323-08-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека информационно-образовательных ресурсов, ЧУ, Кировский филиал
Кировская область, Киров городской округ, Киров, Ленинский район
Ивана Попова, 61
Расположение на карте
Пн: 15:00-17:00
Вт: 15:00-17:00
Чт: 15:00-17:00
Пт: 15:00-17:00
umney.ru
Вконтакте:  https://vk.com/megavuz
Инстаграм:  https://instagram.com/megavuz
Facebook:  https://facebook.com/megavuz
Одноклассники:  https://ok.ru/megavuz
Твиттер:  https://twitter.com/@megavuz
 +7 (8332) 56-23-51 +7-962-891-04-15
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Областная библиотека для детей и юношества им. С.Т. Аксакова
Ульяновская область, Ульяновск городской округ, Ульяновск, Ленинский район
Минаева, 48
Расположение на карте
санитарный день: последний вт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-17:00
aksakovka.ru
Вконтакте:  https://vk.com/aksakovka
Инстаграм:  https://instagram.com/aksakovka
Facebook:  https://facebook.com/uobdu
Твиттер:  https://twitter.com/@aksakovka
Youtube:  https://youtube.com/channel/UCTdtHQR5QlGrAO_W_PXnOrA
 +7 (8422) 41-82-45 +7 (8422) 41-81-93 +7 (8422) 41-80-95
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая районная библиотека, с. Бирюковка
Астраханская область, Приволжский район, с. Бирюковка
Лесная, 14
Расположение на карте
Пн: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №29
Москва, Москва, Тимирязевский район
Дмитровское шоссе, 43
Расположение на карте
санитарный день: последний день месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
cbssao.ru
 +7 (499) 976-97-48
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная детская библиотека №8
Белгородская область, Старооскольский городской округ, Старый Оскол
Губкина проспект, 5
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт, вс 11: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
 +7 (4725) 24-04-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Областная универсальная научная библиотека
Саратовская область, Саратов городской округ, Саратов, Волжский район
Московская, 32
Расположение на карте
санитарный день: последний пн месяца
Пн: 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.sounb.ru
Вконтакте:  https://vk.com/sounbsaratovlibrary
 +7 (8452) 23-50-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №5 им. Е.Ф. Трутневой
Пермский край, Пермь городской округ, Пермь, Свердловский район, Центр
Полины Осипенко, 52
Расположение на карте
санитарный день: последний рабочий день месяца; июнь-август: пн-пт 10:00-18: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.biblioteki.perm.ru
Вконтакте:  https://vk.com/dbiblioteka5
 +7 (342) 207-51-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №5 им. А.И. Герцена
Пермский край, Пермь городской округ, Пермь, Орджоникидзевский район, Молодёжный
Академика Веденеева, 90
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт 11:00-19:00; сб 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
 +7 (342) 207-50-27
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4
Иркутская область, Братск городской округ, Братск, Центральный округ, 4-й микрорайон
Новый переулок, 4
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 11:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 11:00-18:00
Вконтакте:  https://vk.com/bratsk_bs4_4
 +7 (3953) 44-48-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2 им. Л.Н. Толстого
Санкт-Петербург, Санкт-Петербург, Василеостровский район, МО №7
6-я линия В.О., 17
Расположение на карте
зимний период: пн-пт 13:00-20:00; вс 11:00-18:00; санитарный день: последний день месяца
Пн: 13:00-20:00
Вт: 13:00-20:00
Ср: 13:00-20:00
Чт: 13:00-20:00
Пт: 13:00-20:00
Вконтакте:  https://vk.com/bktolstogo2
 +7 (812) 323-67-87 +7 (812) 323-08-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека информационно-образовательных ресурсов, ЧУ, Кировский филиал
Кировская область, Киров городской округ, Киров, Ленинский район
Ивана Попова, 61
Расположение на карте
Пн: 15:00-17:00
Вт: 15:00-17:00
Чт: 15:00-17:00
Пт: 15:00-17:00
umney.ru
Вконтакте:  https://vk.com/megavuz
Инстаграм:  https://instagram.com/megavuz
Facebook:  https://facebook.com/megavuz
Одноклассники:  https://ok.ru/megavuz
Твиттер:  https://twitter.com/@megavuz
 +7 (8332) 56-23-51 +7-962-891-04-15
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Областная библиотека для детей и юношества им. С.Т. Аксакова
Ульяновская область, Ульяновск городской округ, Ульяновск, Ленинский район
Минаева, 48
Расположение на карте
санитарный день: последний вт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-17:00
aksakovka.ru
Вконтакте:  https://vk.com/aksakovka
Инстаграм:  https://instagram.com/aksakovka
Facebook:  https://facebook.com/uobdu
Твиттер:  https://twitter.com/@aksakovka
Youtube:  https://youtube.com/channel/UCTdtHQR5QlGrAO_W_PXnOrA
 +7 (8422) 41-82-45 +7 (8422) 41-81-93 +7 (8422) 41-80-95
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.