Доказательство правильности программ. Ч. 1 : Метод индуктивных утверждений
2722
Купить
Краткое содержание:
Экранизация книги

Доказательство правильности программ. Ч. 1 : Метод индуктивных утверждений

Год:
2004
Язык:
Русский
Страниц:
59
Описание:
Доказательство правильности программ. Ч. 1: , Метод индуктивных утверждений. - 2004. - 59 с. : схем. - Библиогр.: с. 54 (5 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация → Математической индукции методы → Руководства, пособия и т.п. для высшей школы
Примечания:
Загл. обл.: Метод индивидуальных утверждений . - Библиогр.: с. 54 (5 назв.)
Дата создания:
2022-01-21 19:37:04
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Доказательство правильности программ. Ч. 1 : Метод индуктивных утверждений

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Доказательство правильности программ. Ч. 1 : Метод индуктивных утверждений
Опросы
Есть ли иллюстрации в этой книге?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Доказательство правильности программ. Ч. 1 : Метод индуктивных утверждений

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека с. Выльгорт
Республика Коми, Сыктывдинский район, с. Выльгорт
Домны Каликовой, 100а
Расположение на карте
зимний период: пн-пт 9:00-17:00; сб выходной; вс 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
syktyvdincbs.ru
Вконтакте:  https://vk.com/syktyvdincdb
 +7 (82130) 7-10-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №223
Москва, Москва, Ново-Переделкино район
Новопеределкинская, 8
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
bibliozao.ru
 +7 (495) 733-54-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детско-юношеская библиотека №1
Краснодарский край, Анапа городской округ, Анапа
Крымская, 83
Расположение на карте
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-15:00
Вс: 09:00-13:00
anapa-dub.ucoz.ru
anapa-kraeved.ucoz.ru
Вконтакте:  https://vk.com/knigolife
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6
Республика Башкортостан, Уфа городской округ, Уфа, Советский район
Революционная, 165
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
 +7 (347) 216-47-84
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека с. Выльгорт
Республика Коми, Сыктывдинский район, с. Выльгорт
Домны Каликовой, 100а
Расположение на карте
зимний период: пн-пт 9:00-17:00; сб выходной; вс 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
syktyvdincbs.ru
Вконтакте:  https://vk.com/syktyvdincdb
 +7 (82130) 7-10-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №223
Москва, Москва, Ново-Переделкино район
Новопеределкинская, 8
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
bibliozao.ru
 +7 (495) 733-54-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детско-юношеская библиотека №1
Краснодарский край, Анапа городской округ, Анапа
Крымская, 83
Расположение на карте
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-15:00
Вс: 09:00-13:00
anapa-dub.ucoz.ru
anapa-kraeved.ucoz.ru
Вконтакте:  https://vk.com/knigolife
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6
Республика Башкортостан, Уфа городской округ, Уфа, Советский район
Революционная, 165
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
 +7 (347) 216-47-84
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.