Svoboda | Graniru | BBC Russia | Golosameriki | Facebook
Модель корректности программ на языке исчисления вычислимых предикатов = The model of program correctness for the language of computable predicates
982
Купить
Краткое содержание:
Экранизация книги

Модель корректности программ на языке исчисления вычислимых предикатов = The model of program correctness for the language of computable predicates

Автор:
Шелехов Владимир Иванович
Год:
2007
Язык:
Русский
Страниц:
50
Заглавие серии:
Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 145
Описание:
Шелехов В. И. Модель корректности программ на языке исчисления вычислимых предикатов = The model of program correctness for the language of computable predicates / В.И. Шелехов. - Новосибирск : Институт систем информатики, 2007. - 50 с. ; 21 см. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 145). - Библиогр.: с. 49-50 (18 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Предикатное программирование(компьют.)
Примечания:
Авт. также на англ. яз.: V.I. Shelekhov . - Рез. на англ. яз. . - Библиогр.: с. 49-50 (18 назв.)
Дата создания:
2021-08-13 20:16:06
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Модель корректности программ на языке исчисления вычислимых предикатов = The model of program correctness for the language of computable predicates

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Модель корректности программ на языке исчисления вычислимых предикатов = The model of program correctness for the language of computable predicates
Опросы
Она является известной среди большинства?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Модель корректности программ на языке исчисления вычислимых предикатов = The model of program correctness for the language of computable predicates

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека ім. О. Довженка
Киев город со специальным статусом, Київ, Солом'янський район, Шулявка
Західна, 11
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
library-dovzhienka.blogspot.com
 +380 (44) 457-78-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека по естественным наукам РАН
Москва, Москва, Хамовники район
Малый Знаменский переулок, 11/11 ст1
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-14:00
www.benran.ru
 +7 (495) 691-18-58 +7 (495) 691-91-93 +7 (495) 691-22-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №94
Москва, Москва, Перово район
Аносова, 3 к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
cbs-vao.ru
Вконтакте:  https://vk.com/cbsvao
Инстаграм:  https://instagram.com/cbsvao
Facebook:  https://facebook.com/cbsvao
 +7 (495) 309-15-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №159
Москва, Москва, Нагатино-Садовники район
Нагатинская, 11 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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/public133885714
Facebook:  https://facebook.com/334510496931445
 +7 (499) 611-52-38 +7 (499) 618-11-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Пушкина
Красноярский край, Красноярск городской округ, Красноярск, Ленинский район
Юности, 22
Расположение на карте
санитарный день: последний день месяца
Пн: 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
 +7 (391) 264-36-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.В. Куйбышева
Новосибирская область, Новосибирск городской округ, Новосибирск, Ленинский район, Западный м-н
Колхидская, 11
Расположение на карте
технический день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
www.b-kuibysheva.jimdo.com
 +7 (383) 350-00-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Грина
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район, Мира м-н
Бетонная, 7
Расположение на карте
технический день: последний день месяца
Пн: 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 (383) 353-48-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, пос. Листвянский
Новосибирская область, Искитимский район, пос. Листвянский
Шахматова, 8
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6 им. А.М. Колчанова
Кировская область, Киров городской округ, Киров, Первомайский район, Коминтерн м-н
Боровая, 20
Расположение на карте
сентябрь-май: пн-чт 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 (8332) 22-48-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №6
Ханты-Мансийский автономный округ, Нижневартовск городской округ, Нижневартовск, 5-й микрорайон
Маршала Жукова, 3
Расположение на карте
санитарный день: последний вт месяца
Пн: 11:00-14:00 15:00-18:00
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Вс: 11:00-14:00 15:00-18:00
 +7 (3466) 41-09-20
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека ім. О. Довженка
Киев город со специальным статусом, Київ, Солом'янський район, Шулявка
Західна, 11
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
library-dovzhienka.blogspot.com
 +380 (44) 457-78-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека по естественным наукам РАН
Москва, Москва, Хамовники район
Малый Знаменский переулок, 11/11 ст1
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-14:00
www.benran.ru
 +7 (495) 691-18-58 +7 (495) 691-91-93 +7 (495) 691-22-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №94
Москва, Москва, Перово район
Аносова, 3 к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
cbs-vao.ru
Вконтакте:  https://vk.com/cbsvao
Инстаграм:  https://instagram.com/cbsvao
Facebook:  https://facebook.com/cbsvao
 +7 (495) 309-15-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №159
Москва, Москва, Нагатино-Садовники район
Нагатинская, 11 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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/public133885714
Facebook:  https://facebook.com/334510496931445
 +7 (499) 611-52-38 +7 (499) 618-11-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Пушкина
Красноярский край, Красноярск городской округ, Красноярск, Ленинский район
Юности, 22
Расположение на карте
санитарный день: последний день месяца
Пн: 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
 +7 (391) 264-36-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.В. Куйбышева
Новосибирская область, Новосибирск городской округ, Новосибирск, Ленинский район, Западный м-н
Колхидская, 11
Расположение на карте
технический день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
www.b-kuibysheva.jimdo.com
 +7 (383) 350-00-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Грина
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район, Мира м-н
Бетонная, 7
Расположение на карте
технический день: последний день месяца
Пн: 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 (383) 353-48-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, пос. Листвянский
Новосибирская область, Искитимский район, пос. Листвянский
Шахматова, 8
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6 им. А.М. Колчанова
Кировская область, Киров городской округ, Киров, Первомайский район, Коминтерн м-н
Боровая, 20
Расположение на карте
сентябрь-май: пн-чт 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 (8332) 22-48-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №6
Ханты-Мансийский автономный округ, Нижневартовск городской округ, Нижневартовск, 5-й микрорайон
Маршала Жукова, 3
Расположение на карте
санитарный день: последний вт месяца
Пн: 11:00-14:00 15:00-18:00
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Вс: 11:00-14:00 15:00-18:00
 +7 (3466) 41-09-20
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.