На пути к верификации С-программ = Towards the verification of C programs
1938
Купить
Краткое содержание:
Экранизация книги

На пути к верификации С-программ = Towards the verification of C programs

Авторы:
Непомнящий В. А.
Ануреев Игорь Сергеевич
Михайлов И. Н.
Промский Алексей Владимирович
Год:
2001; Связанные записи
Язык:
Русский
Заглавие серии:
Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; ...
Описание:
Непомнящий В. А., Ануреев И. С., Игорь Сергеевич, Михайлов И. Н., Промский А. В., Алексей Владимирович На пути к верификации С-программ = Towards the verification of C programs / В.А. Непомнящий, И.С. Ануреев, И.Н. Михайлов, А.В. Промский. - Новосибирск : Эмари, 2001. - 20 см. - (Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; ...)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация
Примечания:
Авт. также на англ. яз.: V.A. Nepomniaschy, L.S. Anureev, I.N. Michailov, A.V. Promsky
Дата создания:
2021-04-23 03:28:22
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме На пути к верификации С-программ = Towards the verification of C programs

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
На пути к верификации С-программ = Towards the verification of C programs
Опросы
Есть ли иллюстрации в этой книге?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация На пути к верификации С-программ = Towards the verification of C programs

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система детских библиотек г. Шымкента, КГУ
Туркестанская область, Шымкент, Аль-Фарабийский район
Рашидова, 100
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-13:00 15:00-19:00
Вт: 09:00-13:00 15:00-19:00
Ср: 09:00-13:00 15:00-19:00
Чт: 09:00-13:00 15:00-19:00
Пт: 09:00-13:00 15:00-19:00
 +7 (7252) 56-75-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3
Мурманская область, Мурманск городской округ, Мурманск, Ленинский округ, Росляково
Заводская, 4/1
Расположение на карте
зимний период: вт-пт, вс 11:00-18:00, без перерыва; сб выходной; санитарный день: последний день месяца
Вт: 11:00-13:00 13:45-18:00
Ср: 11:00-13:00 13:45-18:00
Чт: 11:00-13:00 13:45-18:00
Пт: 11:00-13:00 13:45-18:00
Сб: 11:00-13:00 13:45-18:00
cdb-murmansk.ru
 +7 (8152) 47-18-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.Н. Носова
Чувашская Республика, Новочебоксарск городской округ, Новочебоксарск, Западный район
10 Пятилетки, 70
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-16:00
 +7 (8352) 77-26-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7
Краснодарский край, Новороссийск городской округ, Новороссийск, Южный район, 7-й микрорайон
Куникова, 62
Расположение на карте
санитарный день: 30 число месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
Вс: 09:00-17:00
www.bibldetky.ru
Твиттер:  https://twitter.com/@csdb5
 +7 (8617) 63-76-35
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система детских библиотек г. Шымкента, КГУ
Туркестанская область, Шымкент, Аль-Фарабийский район
Рашидова, 100
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-13:00 15:00-19:00
Вт: 09:00-13:00 15:00-19:00
Ср: 09:00-13:00 15:00-19:00
Чт: 09:00-13:00 15:00-19:00
Пт: 09:00-13:00 15:00-19:00
 +7 (7252) 56-75-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3
Мурманская область, Мурманск городской округ, Мурманск, Ленинский округ, Росляково
Заводская, 4/1
Расположение на карте
зимний период: вт-пт, вс 11:00-18:00, без перерыва; сб выходной; санитарный день: последний день месяца
Вт: 11:00-13:00 13:45-18:00
Ср: 11:00-13:00 13:45-18:00
Чт: 11:00-13:00 13:45-18:00
Пт: 11:00-13:00 13:45-18:00
Сб: 11:00-13:00 13:45-18:00
cdb-murmansk.ru
 +7 (8152) 47-18-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.Н. Носова
Чувашская Республика, Новочебоксарск городской округ, Новочебоксарск, Западный район
10 Пятилетки, 70
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-16:00
 +7 (8352) 77-26-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7
Краснодарский край, Новороссийск городской округ, Новороссийск, Южный район, 7-й микрорайон
Куникова, 62
Расположение на карте
санитарный день: 30 число месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
Вс: 09:00-17:00
www.bibldetky.ru
Твиттер:  https://twitter.com/@csdb5
 +7 (8617) 63-76-35
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.