Проект верифицирующего компилятора F@BOOL@ = Verifying compiler F@BOOL@
1587
Купить
Краткое содержание:
Экранизация книги

Проект верифицирующего компилятора F@BOOL@ = Verifying compiler F@BOOL@

Авторы:
Бодин Евгений Викторович
Калинина Н. А.
Шилов Н. В.
Год:
2005; Связанные записи
Язык:
Русский
Заглавие серии:
Препринт = Preprint / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; ...
Описание:
Бодин Е. В., Калинина Н. А., Шилов Н. В. Проект верифицирующего компилятора F@BOOL@ = Verifying compiler F@BOOL@ / Е.В. Болдин, Н.А. Калинина, Н.В. Шилов. - Новосибирск : Прайс-курьер, 2005. - 21 см. - (Препринт = Preprint / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; ...)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация
Примечания:
Авт. также на англ. яз.: E. Bodin, N. Kalinina, N. Shilov
Дата создания:
2021-05-14 19:50:35
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Проект верифицирующего компилятора F@BOOL@ = Verifying compiler F@BOOL@

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Проект верифицирующего компилятора F@BOOL@ = Verifying compiler F@BOOL@
Опросы
На каком языке книга?
Русский
Английский
Немецкий
Китайский
Японский
Испанский
Французский
Португальский
Арабский
Другой
Не знаю
Содержание

Реставрация Проект верифицирующего компилятора F@BOOL@ = Verifying compiler F@BOOL@

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Алматы, Алматы, Турксибский район
Дунентаева, 2а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
www.libraryalmaty.kz
 +7 (727) 251-90-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Истоки, библиотека №2
Самарская область, Тольятти городской округ, Тольятти, Центральный район, 84-й квартал
Горького, 42
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Вс: 11:00-18:00
 +7 (8482) 22-13-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Падеринская сельская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, д. Падерина
Озёрная, 6
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Кехотская библиотека, филиал Холмогорской районной библиотеки им. М.В. Ломоносова
Архангельская область, Холмогорский район, д. Григоровская, Кехта
Григоровская д, 31
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
holmzbs.moy.su
 +7 (81830) 3-30-29
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №38
Самарская область, Самара городской округ, Самара, Куйбышевский район, Кряж
Спутника, 10
Расположение на карте
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Вс: 11:00-19:00
Вконтакте:  https://vk.com/bkbjntrfabkbfk38
 +7 (846) 330-17-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Т.Г. Шевченко
Новосибирская область, Новосибирск городской округ, Новосибирск, Октябрьский район
Большевистская, 175/1
Расположение на карте
технический день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 12:00-18:00
shevchenko.cbstolstoy.ru
Вконтакте:  https://vk.com/club132187378
 +7 (383) 269-40-24
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека семейного чтения №8
Вологодская область, Вологда городской округ, Вологда, Бывалово
Трактористов, 5
Расположение на карте
санитарный день: последний день месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
cbs-vologda.ru
 +7 (8172) 71-23-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3
Волгоградская область, Волгоград городской округ, Волгоград, Ворошиловский район
Козловская, 37а
Расположение на карте
летний период: пн-пт 10:00-18:00; санитарный день: последний рабочий день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (8442) 94-33-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Прокопьевского муниципального района, МБУ
Кемеровская область, Прокопьевский район, с. Терентьевское
Новая, 8
Расположение на карте
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-16:00
Вс: 09:00-16:00
www.mucbsprokopregion.ru
 +7 (3846) 64-32-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Л.Н. Толстого, г. Азов
Ростовская область, Азов городской округ, Азов
Комсомольская, 79
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (86342) 6-42-00
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Алматы, Алматы, Турксибский район
Дунентаева, 2а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
www.libraryalmaty.kz
 +7 (727) 251-90-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Истоки, библиотека №2
Самарская область, Тольятти городской округ, Тольятти, Центральный район, 84-й квартал
Горького, 42
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Вс: 11:00-18:00
 +7 (8482) 22-13-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Падеринская сельская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, д. Падерина
Озёрная, 6
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Кехотская библиотека, филиал Холмогорской районной библиотеки им. М.В. Ломоносова
Архангельская область, Холмогорский район, д. Григоровская, Кехта
Григоровская д, 31
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
holmzbs.moy.su
 +7 (81830) 3-30-29
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №38
Самарская область, Самара городской округ, Самара, Куйбышевский район, Кряж
Спутника, 10
Расположение на карте
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Вс: 11:00-19:00
Вконтакте:  https://vk.com/bkbjntrfabkbfk38
 +7 (846) 330-17-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Т.Г. Шевченко
Новосибирская область, Новосибирск городской округ, Новосибирск, Октябрьский район
Большевистская, 175/1
Расположение на карте
технический день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 12:00-18:00
shevchenko.cbstolstoy.ru
Вконтакте:  https://vk.com/club132187378
 +7 (383) 269-40-24
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека семейного чтения №8
Вологодская область, Вологда городской округ, Вологда, Бывалово
Трактористов, 5
Расположение на карте
санитарный день: последний день месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
cbs-vologda.ru
 +7 (8172) 71-23-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3
Волгоградская область, Волгоград городской округ, Волгоград, Ворошиловский район
Козловская, 37а
Расположение на карте
летний период: пн-пт 10:00-18:00; санитарный день: последний рабочий день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (8442) 94-33-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Прокопьевского муниципального района, МБУ
Кемеровская область, Прокопьевский район, с. Терентьевское
Новая, 8
Расположение на карте
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-16:00
Вс: 09:00-16:00
www.mucbsprokopregion.ru
 +7 (3846) 64-32-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Л.Н. Толстого, г. Азов
Ростовская область, Азов городской округ, Азов
Комсомольская, 79
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (86342) 6-42-00
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.