Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings
1631
Купить
Краткое содержание:
Экранизация книги

Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings

Автор:
"Program semantics specification and verification: theory and application" workshop (3 2012 Nizhni Novgorod)
Год:
2012
isbn:
978-5-91326-183-0
Язык:
Английский
Страниц:
149
Описание:
"Program semantics, specification and verification: theory and application", workshop. Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings / 7th Intern. computer science symp. in Russia; Valery Nepomniaschy, Valery Sokolov (eds.). - Nizhni Novgorod : Nizhni Novgorod state univ., 2012. - 149 с. : ил. ; 24 см. - Библиогр. в конце докл.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл.
Автор (ред., сост., организация):
"Computer science in Russia", international symposium (7 , 2012 , Nizhni Novgorod)
Другие ответственные лица:
Nepomnjaščij, Valerij Aleksandrovič (1939-) → Редактор
Дата создания:
2019-11-11 20:21:29
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings
Опросы
Она написана в стихах?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. Д.І. Писарєва
Харьковская область, Харьков, Немышлянский район, Новые Дома ж/м
Юрьева бульвар, 19/1
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Facebook:  https://facebook.com/pisarev.library
 +380 (57) 392-01-18
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Державна бібліотека України для юнацтва
Киев город со специальным статусом, Київ, Шевченківський район
Перемоги проспект, 60
Расположение на карте
зимний период: пн-пт 10:00-19:00; сб выходной; санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
4uth.gov.ua
Facebook:  https://facebook.com/4uth.gov.ua
Твиттер:  https://twitter.com/@lib4uth
 +380 (44) 456-81-81
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека
Калужская область, Дзержинский район, с. им. Льва Толстого
Советская, 10
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека-магазин литературы по архитектуре, дизайну и декору
Свердловская область, Екатеринбург городской округ, Екатеринбург, Ленинский район, Центр
Малышева, 8
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-19:00
book.architectorgallery.ru
 +7-922-615-26-43
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Екатеринбург, библиотечный центр
Свердловская область, Екатеринбург городской округ, Екатеринбург, Ленинский район, Центр
Хохрякова, 104
Расположение на карте
санитарный день: последняя пт месяца; зимний период: вт-пт 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
www.bgekb.ru
Вконтакте:  https://vk.com/public82935817
Facebook:  https://facebook.com/pages/библиотечный-центр-екатеринбург/163555197017318
Youtube:  https://youtube.com/channel/UCo1m4IcrSyJMgq61lUADkTQ
 +7 (343) 257-31-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №3
Самарская область, Самара городской округ, Самара, Железнодорожный район
Красноармейская, 135
Расположение на карте
Пн: 11:00-19:00
Чт: 11:00-19:00
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Ангарск
Иркутская область, Ангарский городской округ, Ангарск
18-й микрорайон, 1
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
www.cbs-angarsk.ru
Вконтакте:  https://vk.com/club165018210
Инстаграм:  https://instagram.com/biblioteki_angarska
Facebook:  https://facebook.com/biblioteki.angarska
Одноклассники:  https://ok.ru/angarsk.territoriyachteniya
 +7 (3955) 55-04-40 +7 (3955) 65-25-42 +7 (3955) 55-04-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новомосковская библиотечная система, МБУК
Тульская область, Новомосковск городской округ, Новомосковск
Орджоникидзе, 5в
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-13:00 14:00-19:00
Вт: 11:00-13:00 14:00-19:00
Ср: 11:00-13:00 14:00-19:00
Чт: 11:00-13:00 14:00-19:00
Сб: 10:00-13:00 13:30-17:30
Вс: 10:00-13:00 13:30-17:30
nmosk-lib.ru
Вконтакте:  https://vk.com/club76870112
 +7 (48762) 4-37-95
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6
Республика Дагестан, Махачкала городской округ, Махачкала, Кировский район, 1-я Махачкала
М. Гаджиева, 200а
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (8722) 67-40-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Салават
Республика Башкортостан, Салават городской округ, Салават
Ленина, 1
Расположение на карте
зимний период: вт-сб 9:00-19:00; пн выходной
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 08:00-18:00
salavat-cbs.ru
 +7 (3476) 35-28-43 +7 (3476) 35-39-97 +7 (3476) 35-39-96
Показать номер
Рецензии и отзывы
Егор Петров
Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings. В книге описывается , как программные продукты обеспечивают доступ пользователя к разнообразным медиаканалам для решения многих задач.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. Д.І. Писарєва
Харьковская область, Харьков, Немышлянский район, Новые Дома ж/м
Юрьева бульвар, 19/1
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Facebook:  https://facebook.com/pisarev.library
 +380 (57) 392-01-18
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Державна бібліотека України для юнацтва
Киев город со специальным статусом, Київ, Шевченківський район
Перемоги проспект, 60
Расположение на карте
зимний период: пн-пт 10:00-19:00; сб выходной; санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
4uth.gov.ua
Facebook:  https://facebook.com/4uth.gov.ua
Твиттер:  https://twitter.com/@lib4uth
 +380 (44) 456-81-81
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека
Калужская область, Дзержинский район, с. им. Льва Толстого
Советская, 10
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека-магазин литературы по архитектуре, дизайну и декору
Свердловская область, Екатеринбург городской округ, Екатеринбург, Ленинский район, Центр
Малышева, 8
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-19:00
book.architectorgallery.ru
 +7-922-615-26-43
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Екатеринбург, библиотечный центр
Свердловская область, Екатеринбург городской округ, Екатеринбург, Ленинский район, Центр
Хохрякова, 104
Расположение на карте
санитарный день: последняя пт месяца; зимний период: вт-пт 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
www.bgekb.ru
Вконтакте:  https://vk.com/public82935817
Facebook:  https://facebook.com/pages/библиотечный-центр-екатеринбург/163555197017318
Youtube:  https://youtube.com/channel/UCo1m4IcrSyJMgq61lUADkTQ
 +7 (343) 257-31-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №3
Самарская область, Самара городской округ, Самара, Железнодорожный район
Красноармейская, 135
Расположение на карте
Пн: 11:00-19:00
Чт: 11:00-19:00
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Ангарск
Иркутская область, Ангарский городской округ, Ангарск
18-й микрорайон, 1
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
www.cbs-angarsk.ru
Вконтакте:  https://vk.com/club165018210
Инстаграм:  https://instagram.com/biblioteki_angarska
Facebook:  https://facebook.com/biblioteki.angarska
Одноклассники:  https://ok.ru/angarsk.territoriyachteniya
 +7 (3955) 55-04-40 +7 (3955) 65-25-42 +7 (3955) 55-04-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новомосковская библиотечная система, МБУК
Тульская область, Новомосковск городской округ, Новомосковск
Орджоникидзе, 5в
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-13:00 14:00-19:00
Вт: 11:00-13:00 14:00-19:00
Ср: 11:00-13:00 14:00-19:00
Чт: 11:00-13:00 14:00-19:00
Сб: 10:00-13:00 13:30-17:30
Вс: 10:00-13:00 13:30-17:30
nmosk-lib.ru
Вконтакте:  https://vk.com/club76870112
 +7 (48762) 4-37-95
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6
Республика Дагестан, Махачкала городской округ, Махачкала, Кировский район, 1-я Махачкала
М. Гаджиева, 200а
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (8722) 67-40-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, г. Салават
Республика Башкортостан, Салават городской округ, Салават
Ленина, 1
Расположение на карте
зимний период: вт-сб 9:00-19:00; пн выходной
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 08:00-18:00
salavat-cbs.ru
 +7 (3476) 35-28-43 +7 (3476) 35-39-97 +7 (3476) 35-39-96
Показать номер
Информация от пользователей
Азат Нагирян
Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings. В книге описывается семантика программирования и спецификация, связанная с ней.
Прикрепить файл
Книга находятся в категориях.