First International workshop on verification and program transformation, Saint Petersburg, Russia, July 13-14, 2013 : affilated with the 25th International conference on computer aided verification, CAV 2013 : pre-proceedings = Первый международный семинар по верификации и преобразованиям программ, 13-14 июля 2013 г.
1595
Купить
Краткое содержание:
Экранизация книги

First International workshop on verification and program transformation, Saint Petersburg, Russia, July 13-14, 2013 : affilated with the 25th International conference on computer aided verification, CAV 2013 : pre-proceedings = Первый международный семинар по верификации и преобразованиям программ, 13-14 июля 2013 г.

Автор:
International workshop on verification and program transformation (1 2013 Saint-Petersburg)
Год:
2013
isbn:
978-5-901795-29-3
Язык:
Английский
Страниц:
118
Перевод заглавия:
Первый международный семинар по верификации и преобразованиям программ, 13-14 июля 2013 г.
Описание:
International workshop on verification and program transformation. First International workshop on verification and program transformation, Saint Petersburg, Russia, July 13-14, 2013 : affilated with the 25th International conference on computer aided verification, CAV 2013 : pre-proceedings / [ed. by A.P. Lisitsa a. A.P. Nemytykh]. - Pereslavl-Zalessky : Университет города Переславля, 2013. - 118 с. : ил. ; 22 см. - Библиогр. в конце докл.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация → Съезды, совещания и т.п.
Примечания:
На обороте тит. л.: Первый международный семинар по верификации и преобразованиям программ, Санкт-Петербург, 13-14 июля 2013 . - В надзаг.: Russian acad. of sciences, Ailamazyan program systems inst. . - Библиогр. в конце докл.
Автор (ред., сост., организация):
International conference on computer aided verification (25 , 2013 , Saint-Petersburg)
Другие ответственные лица:
Lisica, Aleksej P → Редактор
Дата создания:
2021-05-25 14:46:06
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме First International workshop on verification and program transformation, Saint Petersburg, Russia, July 13-14, 2013 : affilated with the 25th International conference on computer aided verification, CAV 2013 : pre-proceedings = Первый международный семинар по верификации и преобразованиям программ, 13-14 июля 2013 г.

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
First International workshop on verification and program transformation, Saint Petersburg, Russia, July 13-14, 2013 : affilated with the 25th International conference on computer aided verification, CAV 2013 : pre-proceedings = Первый международный семинар по верификации и преобразованиям программ, 13-14 июля 2013 г.
Опросы
Вам эта книга понравилась?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация First International workshop on verification and program transformation, Saint Petersburg, Russia, July 13-14, 2013 : affilated with the 25th International conference on computer aided verification, CAV 2013 : pre-proceedings = Первый международный семинар по верификации и преобразованиям программ, 13-14 июля 2013 г.

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Павлодарская массовая детская библиотека
Павлодарская область, с. Павлодарское
Торговая, 17
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-15:00
 +7 (7182) 31-80-79
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система, с. Усть-Кокса
Республика Алтай, Усть-Коксинский район, с. Усть-Кокса
Советская, 60
Расположение на карте
зимний период: пн-пт 9:00-18:00; вс 9:00-16:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 09:00-16:00
 +7 (38848) 2-23-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Елабуга
Республика Татарстан, Елабужский район, Елабуга
Казанская, 15
Расположение на карте
санитарный день: первый день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (85557) 7-83-34 +7 (85557) 7-04-12
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4
Белгородская область, Белгород городской округ, Белгород, Западный округ
Центральная 2-я, 4
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/cbs_bel
Твиттер:  https://twitter.com/@bel_cbs
 +7 (4722) 34-14-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Рощинская сельская библиотека
Новосибирская область, Искитимский район, пос. Рощинский
Рощинская, 17
Расположение на карте
Пн: 15:00-18:00
Вт: 15:00-18:00
Ср: 15:00-18:00
Чт: 15:00-18:00
Пт: 15:00-18:00
Сб: 15:00-18:00
bsiskitim.ru
 +7 (38343) 2-31-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Новосибирская область, Мошковский район, пос. Радуга
Ключевская, 14
Расположение на карте
Вт: 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-15:00
 +7 (38348) 5-51-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ленинградская областная детская библиотека
Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №13 "Светлановское"
Тореза проспект, 32
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
lodbspb.ru
Вконтакте:  https://vk.com/kidslibrary_lodb
Инстаграм:  https://instagram.com/lodbspb
Facebook:  https://facebook.com/Kidslibrary
Youtube:  https://youtube.com/channel/UCIfpB1axJENELh0U6jjEM8A
 +7 (812) 552-25-28 +7 (812) 552-95-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Спартака, 11
Расположение на карте
санитарный день: последний вт месяца; летний период: пн-пт 10:00-19:00; сб 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7-900-051-88-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №12 им. К.Д. Воробьёва
Курская область, Курск городской округ, Курск, Центральный округ
50 лет Октября, 15а
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-18:00
 +7 (4712) 52-81-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Давлетовская сельская библиотека
Республика Башкортостан, Абзелиловский район, с. Давлетово
Школьная, 18
Расположение на карте
Пн: 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
Сб: 09:00-13:00 15:00-19:00
 +7 (34772) 2-35-96
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Павлодарская массовая детская библиотека
Павлодарская область, с. Павлодарское
Торговая, 17
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-15:00
 +7 (7182) 31-80-79
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система, с. Усть-Кокса
Республика Алтай, Усть-Коксинский район, с. Усть-Кокса
Советская, 60
Расположение на карте
зимний период: пн-пт 9:00-18:00; вс 9:00-16:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 09:00-16:00
 +7 (38848) 2-23-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Елабуга
Республика Татарстан, Елабужский район, Елабуга
Казанская, 15
Расположение на карте
санитарный день: первый день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (85557) 7-83-34 +7 (85557) 7-04-12
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4
Белгородская область, Белгород городской округ, Белгород, Западный округ
Центральная 2-я, 4
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/cbs_bel
Твиттер:  https://twitter.com/@bel_cbs
 +7 (4722) 34-14-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Рощинская сельская библиотека
Новосибирская область, Искитимский район, пос. Рощинский
Рощинская, 17
Расположение на карте
Пн: 15:00-18:00
Вт: 15:00-18:00
Ср: 15:00-18:00
Чт: 15:00-18:00
Пт: 15:00-18:00
Сб: 15:00-18:00
bsiskitim.ru
 +7 (38343) 2-31-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Новосибирская область, Мошковский район, пос. Радуга
Ключевская, 14
Расположение на карте
Вт: 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-15:00
 +7 (38348) 5-51-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ленинградская областная детская библиотека
Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №13 "Светлановское"
Тореза проспект, 32
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
lodbspb.ru
Вконтакте:  https://vk.com/kidslibrary_lodb
Инстаграм:  https://instagram.com/lodbspb
Facebook:  https://facebook.com/Kidslibrary
Youtube:  https://youtube.com/channel/UCIfpB1axJENELh0U6jjEM8A
 +7 (812) 552-25-28 +7 (812) 552-95-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Спартака, 11
Расположение на карте
санитарный день: последний вт месяца; летний период: пн-пт 10:00-19:00; сб 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7-900-051-88-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №12 им. К.Д. Воробьёва
Курская область, Курск городской округ, Курск, Центральный округ
50 лет Октября, 15а
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-18:00
 +7 (4712) 52-81-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Давлетовская сельская библиотека
Республика Башкортостан, Абзелиловский район, с. Давлетово
Школьная, 18
Расположение на карте
Пн: 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
Сб: 09:00-13:00 15:00-19:00
 +7 (34772) 2-35-96
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.