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 г.
1632
Купить
Краткое содержание:
Экранизация книги

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
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.