На пути к верификации С-программ. Ч. 1 : Язык C-light
2595
Купить
Краткое содержание:
Экранизация книги

На пути к верификации С-программ. Ч. 1 : Язык C-light

Год:
2001
Язык:
Русский
Заглавие серии:
... ; 84
Описание:
На пути к верификации С-программ. Ч. 1: , Язык C-light = C-Light. - Новосибирск : ИСИ, 2001. - 48,[1] с. - (... ; 84). - Библиогр.: с. 38
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
C, язык программирования
Примечания:
Библиогр.: с. 38
ББК:
32.973.26-018
Дата создания:
2021-01-07 20:35:22
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме На пути к верификации С-программ. Ч. 1 : Язык C-light

Заказать реферат Узнать стоимость Скачать пример
Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
Лекция 1 | Автор: Антон Трунов | Курс: Введение в язык формальной верификации Coq | Организаторы: Математическая ...
Лекториум
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
На пути к верификации С-программ. Ч. 1 : Язык C-light
Опросы
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Содержание

Реставрация На пути к верификации С-программ. Ч. 1 : Язык C-light

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Введение в формальную верификацию программ, лекция 1 | А. Трунов
Курс "Введение в формальную верификацию программ" в Computer Science клубе. Лектор: Антон Трунов (Zilliqa Research) ...
Computer Science Club
Симпл отомстил монеси! #юмор #csgo
Донат: https://www.donationalerts.com/r/y_kaktus_ ✈️ Мой телеграм: https://t.me/Kaktus_dnewnik ❗ Данное видео несёт ...
Кактус
Делаем периферию для читов (Laravel + C#) #2 - Авторизация и регистрация
Третий видос по созданию личного кабинета для нашего воображаемого чита. В этом видео сделаем формы авторизации ...
Shock Byte
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
ШОНДi ВОЙТ, детская библиотека
Республика Коми, Сыктывкар городской округ, Сыктывкар, Эжвинский район, 1 микрорайон
Мира, 6
Расположение на карте
зимний период: пн-пт 11:00-18:00; сб выходной; вс 11:00-18:00; санитарный день: последний вт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
 +7 (8212) 62-52-87
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ленинские Горы, 1
Расположение на карте
санитарный день: второй чт месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
nbmgu.ru
 +7 (495) 939-21-86 +7 (495) 939-32-21
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.Н. Носова
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район
Сибиряков-Гвардейцев, 44/6
Расположение на карте
санитарный день: последний день месяца
Пн: 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-53-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Белоярская сельская библиотека
Новосибирская область, Мошковский район, с. Белоярка
Центральная, 7/1
Расположение на карте
Вт: 10:00-14:00 16:00-19:00
Ср: 10:00-14:00 16:00-19:00
Чт: 10:00-14:00 16:00-19:00
Пт: 10:00-14:00 16:00-19:00
Сб: 10:00-14:00 16:00-19:00
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система г. Бердска
Новосибирская область, Бердск городской округ, Бердск
Карла Маркса, 62
Расположение на карте
июнь-август: пн-пт 8:00-17:00, перерыв: 12:00-13: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
Сб: 10:00-12:00 13:00-17:00
biblioberdsk.ru
Вконтакте:  https://vk.com/club59126880
Facebook:  https://facebook.com/biblioberdsk.ru
 +7 (38341) 5-03-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Алтайская районная межпоселенческая библиотека
Алтайский край, Алтайский район, с. Алтайское
Советская, 122/1
Расположение на карте
санитарный день: последний пн месяца; летний период: пн-пт 9:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (38537) 2-26-48
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №6
Республика Карелия, Петрозаводский городской округ, Петрозаводск, Зарека микрорайон
Волховская, 4а
Расположение на карте
зимний период: пн-чт 12:00-18:00; вс 11:00-18:00; пт выходной; санитарный день: последняя ср месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
biblioteka.ptz.ru
Вконтакте:  https://vk.com/bibliotekaptz6
 +7 (8142) 56-31-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. Н.К. Крупской
Кемеровская область, Ленинск-Кузнецкий городской округ, Ленинск-Кузнецкий
Топкинская, 8
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 10:00-18:00
www.liblnk.ru
Вконтакте:  https://vk.com/tsgb_krups
 +7 (38456) 2-24-24
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская централизованная библиотечная система
Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 20-й микрорайон
Семашко, 16
Расположение на карте
санитарный день: последний чт месяца
Пн: 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) 35-70-52
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, пос. Первомайский
Челябинская область, Агаповский район, пос. Первомайский
Центральная, 29
Расположение на карте
Пн: 11:00-13:00 14:00-18:00
Вт: 11:00-13:00 14:00-18:00
Ср: 11:00-13:00 14:00-18:00
Чт: 11:00-13:00 14:00-18:00
Пт: 11:00-13:00 14:00-18:00
Полный курс Laravel 16 Валидация данных (Validation)
Весь плейлист: https://youtube.com/playlist?list=PLXCVm4GFpx5CZf4X5ppNJTPsaGwSlBXLX VIP канал ...
One Code Вебинар "Проектирование в Altium Designer 22. Этап 1: Подготовка и настройка системы"
Больше на http://pcb-tracing.ru/ График и темы вебинаров, регистрация: http://pcb-tracing.ru/events/ Получить техническую ...
Pcb-tracing Лекция 13. Что внутри? (Программирование на Java)
Лекция №13 курса «Программирование на Java» (весна 2020) Преподаватель —Тагир Фаридович Валеев Страница ...
Computer Science Center АПС Л2. Основные концепции и инструменты
На первой части лекции затронули обобщенную структуру процессора, которая включает в себя 4 основных блока: ...
Архитектуры процессорных систем
Рецензии и отзывы
Егор Петров
На пути к верификации С-программ. Ч. 1 : Язык C-light и его методы анализа Пролог-Релиз 2.0.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
ШОНДi ВОЙТ, детская библиотека
Республика Коми, Сыктывкар городской округ, Сыктывкар, Эжвинский район, 1 микрорайон
Мира, 6
Расположение на карте
зимний период: пн-пт 11:00-18:00; сб выходной; вс 11:00-18:00; санитарный день: последний вт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
 +7 (8212) 62-52-87
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ленинские Горы, 1
Расположение на карте
санитарный день: второй чт месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
nbmgu.ru
 +7 (495) 939-21-86 +7 (495) 939-32-21
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.Н. Носова
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район
Сибиряков-Гвардейцев, 44/6
Расположение на карте
санитарный день: последний день месяца
Пн: 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-53-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Белоярская сельская библиотека
Новосибирская область, Мошковский район, с. Белоярка
Центральная, 7/1
Расположение на карте
Вт: 10:00-14:00 16:00-19:00
Ср: 10:00-14:00 16:00-19:00
Чт: 10:00-14:00 16:00-19:00
Пт: 10:00-14:00 16:00-19:00
Сб: 10:00-14:00 16:00-19:00
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система г. Бердска
Новосибирская область, Бердск городской округ, Бердск
Карла Маркса, 62
Расположение на карте
июнь-август: пн-пт 8:00-17:00, перерыв: 12:00-13: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
Сб: 10:00-12:00 13:00-17:00
biblioberdsk.ru
Вконтакте:  https://vk.com/club59126880
Facebook:  https://facebook.com/biblioberdsk.ru
 +7 (38341) 5-03-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Алтайская районная межпоселенческая библиотека
Алтайский край, Алтайский район, с. Алтайское
Советская, 122/1
Расположение на карте
санитарный день: последний пн месяца; летний период: пн-пт 9:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (38537) 2-26-48
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №6
Республика Карелия, Петрозаводский городской округ, Петрозаводск, Зарека микрорайон
Волховская, 4а
Расположение на карте
зимний период: пн-чт 12:00-18:00; вс 11:00-18:00; пт выходной; санитарный день: последняя ср месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
biblioteka.ptz.ru
Вконтакте:  https://vk.com/bibliotekaptz6
 +7 (8142) 56-31-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. Н.К. Крупской
Кемеровская область, Ленинск-Кузнецкий городской округ, Ленинск-Кузнецкий
Топкинская, 8
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 10:00-18:00
www.liblnk.ru
Вконтакте:  https://vk.com/tsgb_krups
 +7 (38456) 2-24-24
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская централизованная библиотечная система
Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 20-й микрорайон
Семашко, 16
Расположение на карте
санитарный день: последний чт месяца
Пн: 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) 35-70-52
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, пос. Первомайский
Челябинская область, Агаповский район, пос. Первомайский
Центральная, 29
Расположение на карте
Пн: 11:00-13:00 14:00-18:00
Вт: 11:00-13:00 14:00-18:00
Ср: 11:00-13:00 14:00-18:00
Чт: 11:00-13:00 14:00-18:00
Пт: 11:00-13:00 14:00-18:00
Информация от пользователей
Азат Нагирян
На пути к верификации С-программ. Ч. 1 : Язык C-light + (перевод с английского, предисловие) / А.В. Шитиков. - М. : ДМК Пресс, 2002. - 208 с. - ISBN 5-94074-027-1 : 60.00 р. На обл.: Перевод с англ. изд.: In the field of verification of C-programs. Beginner's course.
Прикрепить файл
Книга находятся в категориях.