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

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 см. - Библиогр. в конце докл.
Рейтинг по отзывам:
3
Рубрики:
Программы(компьют.) → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл.
Автор (ред., сост., организация):
"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
Она является известной среди большинства?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Центральна бібліотека ім. Д.І. Писарєва
Харьковская область, Харьков, Немышлянский район, Новые Дома ж/м
Юрьева бульвар, 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
 +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
 +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
 +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
 +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
Название и адрес
Режим работы
Телефон
Новомосковская библиотечная система, МБУК
Тульская область, Новомосковск городской округ, Новомосковск
Орджоникидзе, 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
 +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
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
FLIP.kz, интернет-магазин, ТОО FLIP.KZ
Карагандинская область, Темиртау, 4-й м-н
Мира проспект, 104
Расположение на карте
Пн: 10:00-14:00 15:00-19:00
Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Пт: 10:00-14:00 15:00-19:00
Сб: 10:00-14:00 15:00-19:00
Вс: 10:00-14:00 15:00-19:00
 +7 (7212) 50-40-50 8-800-080-35-47
Показать номер
Название и адрес
Режим работы
Телефон
Алфавит, книжный магазин
Республика Хакасия, Черногорск городской округ, Черногорск, Южный
Советская, 86
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Телефон
Магазин, ИП Скребец Т.В.
Республика Коми, Сыктывкар городской округ, Сыктывкар, Париж
Восточная, 35
Расположение на карте
Пн: 08:00-20:00
Вт: 08:00-20:00
Ср: 08:00-20:00
Чт: 08:00-20:00
Пт: 08:00-20:00
Сб: 08:00-20:00
Вс: 08:00-20:00
Название и адрес
Режим работы
Телефон
LOGOBOOK.RU, интернет-магазин книг, ООО Логосфера
Москва, Москва, Бутырский район
Складочная, 1 ст18
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (495) 980-12-10
Показать номер
Название и адрес
Режим работы
Телефон
Три квадрата, издательство
Москва, Москва, Аэропорт район
Усиевича, 9
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (499) 151-18-33
Показать номер
Название и адрес
Режим работы
Телефон
Лабиринт.ру, интернет-магазин
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Терешковой, 2в
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
Вс: 09:00-19:00
 8-800-500-95-25
Показать номер
Название и адрес
Режим работы
Телефон
Магазин канцелярских товаров и игрушек, ИП Ильдяев Н.Я.
Самарская область, Тольятти городской округ, Тольятти, Автозаводский район, 9-й квартал
Ленинский проспект, 10
Расположение на карте
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 10:00-20:00
Вс: 10:00-19:00
 +7-927-212-74-02
Показать номер
Название и адрес
Режим работы
Телефон
Умница, магазин программ домашнего обучения и развития в играх для детей
Ивановская область, Иваново городской округ, Иваново, Октябрьский район
8 Марта, 32
Расположение на карте
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
Вс: 11:00-20:00
 +7 (4932) 574-974 8-800-200-08-07
Показать номер
Название и адрес
Режим работы
Телефон
Новая книга, книжный магазин
Камчатский край, Елизовский район, Елизово
Звёздная, 10а
Расположение на карте
Пн: 09:30-17:00
Вт: 09:30-17:00
Ср: 09:30-17:00
Чт: 09:30-17:00
Пт: 09:30-17:00
Сб: 09:30-17:00
Вс: 09:30-17:00
 +7 (4152) 48-31-83
Показать номер
Название и адрес
Режим работы
Телефон
Буквоед, сеть книжно-канцелярских магазинов
Санкт-Петербург, Санкт-Петербург, Приморский район, МО №67 "Комендантский аэродром"
Коломяжский проспект, 17 к1
Расположение на карте
Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-22:00
 +7 (812) 601-06-01
Показать номер
Прикрепить файл