The correctness problem in computer science
1580
Купить
Краткое содержание:
Экранизация книги

The correctness problem in computer science

Год:
1981
isbn:
0-12-122920-3
Язык:
Английский
Страниц:
279
Заглавие серии:
International lecture ser. in computer science
Описание:
The correctness problem in computer science / Ed. by R. S. Boyer a. J. Strother Moore. - London etc. : Acad. press, 1981. - XIII, 279 с. : ил. ; 24 см. - (International lecture ser. in computer science). - Библиогр. в конце глав
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математические вычисления → Некорректные задачи → Сборники
Примечания:
Библиогр. в конце глав
ББК:
Мт-85(сборн.)[В192я43]
Другие ответственные лица:
Boyer, Robert S. → Редактор
Дата создания:
2022-01-29 13:32:33
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме The correctness problem in computer science

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
The correctness problem in computer science
Опросы
Она написана в прозе?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация The correctness problem in computer science

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечный центр правовой информации
Бишкек, Бишкек, Первомайский район
Юсупа Абдрахманова, 208
Расположение на карте
Пн: 09:00-12:00 13:00-18:00
Вт: 09:00-12:00 13:00-18:00
Ср: 09:00-12:00 13:00-18:00
Чт: 09:00-12:00 13:00-18:00
Пт: 09:00-12:00 13:00-18:00
Сб: 09:00-12:00 13:00-18:00
Вс: 09:00-12:00 13:00-18:00
 +996 (312) 30-50-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №15
Астраханская область, Астрахань городской округ, Астрахань, Трусовский район, АЦКК м-н
Тренёва, 13
Расположение на карте
санитарный день: последний вт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2, рп. Хорлово
Московская область, Воскресенский район, рп. Хорлово, Фосфоритный м-н
Зайцева, 22Б
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вконтакте:  https://vk.com/id422600751
Инстаграм:  https://instagram.com/bibliotekamkr.fosforitnyi
Facebook:  https://facebook.com/100013800262814
Одноклассники:  https://ok.ru/profile/575708570159
 +7 (49644) 4-33-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11 им. Д.В. Давыдова
Москва, Москва, Пресненский район
Мукомольный проезд, 9 к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
cbscao.ru
Вконтакте:  https://vk.com/cbscao
Инстаграм:  https://instagram.com/cbscao
Facebook:  https://facebook.com/cbscao
 +7 (499) 259-56-28
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №18
Тюменская область, Тюмень городской округ, Тюмень, Ленинский округ, Матмасы
Пражская, 41
Расположение на карте
Пн: 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 (3452) 45-91-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.М. Мазаева, МАУК Муниципальная информационно-библиотечная система
Кемеровская область, Кемерово городской округ, Кемерово, Центральный район
Тухачевского, 12
Расположение на карте
санитарный день: первый пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
библиотеки.кемеровские.рф
Вконтакте:  https://vk.com/kemerovskie
Одноклассники:  https://ok.ru/profile/556067979487
Твиттер:  https://twitter.com/@spravkacbs
Google plus:  https://plus.google.com/106616187117403293819
 +7 (3842) 544-398
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.А. Ахматовой
Новосибирская область, Новосибирск городской округ, Новосибирск, Ленинский район, Западный м-н
Филатова, 9
Расположение на карте
технический день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
Вконтакте:  https://vk.com/club157306671
Одноклассники:  https://ok.ru/group53622134866006
 +7 (383) 341-43-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, ПНИПУ
Пермский край, Пермь городской округ, Пермь, Ленинский район, Центр
Комсомольский проспект, 29
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
lib.pstu.ru
Вконтакте:  https://vk.com/libpsturu
Твиттер:  https://twitter.com/@library_snrpup
 +7 (342) 219-84-62 +7 (342) 219-81-58
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека книжной графики
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №5 "Измайловское"
Красноармейская 7-я, 28-30
Расположение на карте
Пн: 12:00-20:00
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 10:00-18:00
lermontovka-spb.ru
Вконтакте:  https://vk.com/club9589016
 +7 (812) 575-16-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека семейного чтения №12
Челябинская область, Магнитогорский городской округ, Магнитогорск, Ленинский район
Панькова, 32
Расположение на карте
санитарный день: последний вт месяца
Вт: 11:00-17:30
Ср: 11:00-17:30
Чт: 11:00-17:30
Пт: 11:00-17:30
Сб: 11:00-17:30
www.ogbmagnitka.ru
 +7 (3519) 44-77-90
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечный центр правовой информации
Бишкек, Бишкек, Первомайский район
Юсупа Абдрахманова, 208
Расположение на карте
Пн: 09:00-12:00 13:00-18:00
Вт: 09:00-12:00 13:00-18:00
Ср: 09:00-12:00 13:00-18:00
Чт: 09:00-12:00 13:00-18:00
Пт: 09:00-12:00 13:00-18:00
Сб: 09:00-12:00 13:00-18:00
Вс: 09:00-12:00 13:00-18:00
 +996 (312) 30-50-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №15
Астраханская область, Астрахань городской округ, Астрахань, Трусовский район, АЦКК м-н
Тренёва, 13
Расположение на карте
санитарный день: последний вт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2, рп. Хорлово
Московская область, Воскресенский район, рп. Хорлово, Фосфоритный м-н
Зайцева, 22Б
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вконтакте:  https://vk.com/id422600751
Инстаграм:  https://instagram.com/bibliotekamkr.fosforitnyi
Facebook:  https://facebook.com/100013800262814
Одноклассники:  https://ok.ru/profile/575708570159
 +7 (49644) 4-33-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11 им. Д.В. Давыдова
Москва, Москва, Пресненский район
Мукомольный проезд, 9 к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
cbscao.ru
Вконтакте:  https://vk.com/cbscao
Инстаграм:  https://instagram.com/cbscao
Facebook:  https://facebook.com/cbscao
 +7 (499) 259-56-28
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №18
Тюменская область, Тюмень городской округ, Тюмень, Ленинский округ, Матмасы
Пражская, 41
Расположение на карте
Пн: 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 (3452) 45-91-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.М. Мазаева, МАУК Муниципальная информационно-библиотечная система
Кемеровская область, Кемерово городской округ, Кемерово, Центральный район
Тухачевского, 12
Расположение на карте
санитарный день: первый пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
библиотеки.кемеровские.рф
Вконтакте:  https://vk.com/kemerovskie
Одноклассники:  https://ok.ru/profile/556067979487
Твиттер:  https://twitter.com/@spravkacbs
Google plus:  https://plus.google.com/106616187117403293819
 +7 (3842) 544-398
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.А. Ахматовой
Новосибирская область, Новосибирск городской округ, Новосибирск, Ленинский район, Западный м-н
Филатова, 9
Расположение на карте
технический день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
Вконтакте:  https://vk.com/club157306671
Одноклассники:  https://ok.ru/group53622134866006
 +7 (383) 341-43-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, ПНИПУ
Пермский край, Пермь городской округ, Пермь, Ленинский район, Центр
Комсомольский проспект, 29
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
lib.pstu.ru
Вконтакте:  https://vk.com/libpsturu
Твиттер:  https://twitter.com/@library_snrpup
 +7 (342) 219-84-62 +7 (342) 219-81-58
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека книжной графики
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №5 "Измайловское"
Красноармейская 7-я, 28-30
Расположение на карте
Пн: 12:00-20:00
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 10:00-18:00
lermontovka-spb.ru
Вконтакте:  https://vk.com/club9589016
 +7 (812) 575-16-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека семейного чтения №12
Челябинская область, Магнитогорский городской округ, Магнитогорск, Ленинский район
Панькова, 32
Расположение на карте
санитарный день: последний вт месяца
Вт: 11:00-17:30
Ср: 11:00-17:30
Чт: 11:00-17:30
Пт: 11:00-17:30
Сб: 11:00-17:30
www.ogbmagnitka.ru
 +7 (3519) 44-77-90
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.