Каталог
Меню
Войти
0Сравнение
0Избранное
Каталог
Войти
0Сравнить
0Избранное

Методы верификации программ

Методы верификации программ
Показать все аналоги
  Сравнить
  В избранное
  Похожие товары
  Видео обзоры

Рекомендательный сервис

  • Общий рейтинг 4.85
  • Рейтинг покупателей 3.50
  • Рейтинг экспертов 4.28
  • Качество материалов 4.57
  • Надежность 4.88
  • Простота в использовании 4.72
  • Ремонтопригодность 4.49
  • Эффективность выполнения своих функций 4.45
  • Коэффициент удивления "Вау!" 4.85
  • Безопасность для пользователя4.08
  • Внешний вид 4.92
  • Удобство в уходе и чистке 4.74
  • Экологическая безопасность 4.26
  • Гарантия на товар 4.77
  • Соответствие стандартам качества 4.82
  • Инновационные технологии 4.73
  • Хит продаж 4.85
  • Скорость морального устаревания 4.54
  • Энергоэффективность 4.42
  • Универсальность использования 4.50
  • Наличие дополнительных функций 4.76
  • Соотношение цена-качество 3.27
  • Практичность и удобство хранения 4.58
  • Стабильность работы в различных условиях 4.60
  • Возможность персонализации 4.00
  • Ликвидность 4.48
  • Индекс рекомендаций 3.77
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Также она представляет интерес для специалистов в данных областях.
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников.
Методы верификации программ продается в интернет-магазине Лабиринт
Эксперт: Ростислав Т., специалист по потребительским товарам
Дата рецензии: 10 октября 2025 года
Рекомендация к покупке нейтральная

Отзывы о товаре

Спасибо Ваш отзыв будет опубликован после проверки модераторами.
Добавить отзыв

Доставка покупки

    • Курьерская доставка в г. Москва;
    • Самовывоз из пункта выдачи.

Оплата заказа

  • Наличный расчет, оплата подарочным сертификатом, через мобильный телефон, наложенный платеж, предоплата на счет, электронные формы оплаты, пластиковые карты, баланс.
  • Наименование: ООО «Лабиринт.РУ»
  • ИНН: 7728644571

Часто задаваемые вопросы

Оплатить покупку возможно банковскими картами, банковским переводом, наличными при получении. Перечень всех способов оплаты доступен при оформлении заказа.
Да, в соответствии с законом «О защите прав потребителей» вы можете вернуть товар надлежащего качества в течение 14 дней с момента покупки, если он не был в употреблении, сохранены упаковка, ярлыки и товарный вид, и при этом не входит в перечень товаров, не подлежащих возврату или обмену (утверждённый Постановлением Правительства РФ №55).
На большинство товаров предоставляется гарантия от производителя. Срок гарантии указан в описании товара.

Рекомендуем аналогичные товары

- 12%
Методы верификации программ
Методы верификации программ
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Цена 2115 руб.
СравнитьКупить
2 115 ₽
Методы верификации программ
Методы верификации программ
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Цена 2115 руб.
СравнитьКупить
2 115 ₽
- 12%
Логическое проектирование и верификация систем на SystemVerilog
Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. .Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. .Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. .Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования. . .
Цена 2667 руб.
СравнитьКупить
2 667 ₽
Логическое проектирование и верификация систем на SystemVerilog
Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. .Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. .Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. .Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования. . .
Цена 2667 руб.
СравнитьКупить
  • Серия

    Справочник Справочник Краткий справочник Книги, которые все ждали Программирование для детей Эксклюзивная классика (Лучшее) Гиппенрейтер(под) Детям о праве Программирование для детей Книги, о которых говорят Красивое тело Справочник Справочники Высший курс Правила работы Детям о важном

  • Издатель

    АСТ Моркнига Мир книги АСТ-Аудиокнига КомКнига Мир Времена 2 Время Транзиткнига Мир Corpus (АСТ) Аудиокнига Москвоведение ИКИ Знак Система

  • Тип носителя

    Шаманов Алексей

  • Эпоха публикации

    8+

  • Направление в научной литературе

    ЛФК Народная медицина Спортивная медицина

2 667 ₽
- 12%
Интеграция управления программой и системной инженерии. Методы, инструменты и организационные системы для улучшения результативности интеграции
Интеграция управления программой и системной инженерии. Методы, инструменты и организационные системы для улучшения результативности интеграции
Книга является результатом проекта, который был реализован Институтом управления проектами (Project Management Institute, PMI) и Международным советом по системной инженерии (International Council on Systems Engineering, INCOSE). В книге обсуждается, как организации могут стать более результативнымии эффективными, более чутко реагировать на изменения и добиваться лучших результатов работы благодаря интеграции управления программой и системной инженерии. Описаны понятие интеграции, а также методы и средства интеграции, включая предложенную авторами концептуальную платформу (фреймворк) интеграции, охватывающую шесть ключевых измерений – процессы, практики и инструменты интеграции; организационную среду; компетентность персонала; сопутствующие факторы; результативность интеграции и результативность исполнения программы. Рассмотрены многочисленные примеры успешного внедрения практик интеграции управления программой и системной инженерии и улучшения на этой основе экономических, управленческих и инженерно-технических показателей исполнения программ и деятельности компаний. В контексте интеграции управления программой и системной инженерии также проанализированы примеры неудачных программ. В основу примеров положены сведения, полученные от множества руководителей программ и главных системных инженеров, сотрудничающих с сотнями компаний различного профиля.Книга будет полезна для управленцев, инженеров, преподавателей и других специалистов, занятых вопросами создания сложных технических, социотехнических и организационных систем, а также реализацией программ и проектов в этой области. Она также будет интересна студентам и аспирантам, изучающимуправление проектами и программами, системную инженерию и связанные с ними дисциплины.Издание осуществлено при поддержке Русского института системной инженерии, продолжающего этой книгой свою библиотеку по системной инженерии.
Цена 3035 руб.
СравнитьКупить
  • Серия

    Библиотека для всех Найди и покажи Вопрос - ответ(бол) Детям про ЭТО Книги, которые все ждали Эксклюзивная классика (Лучшее) Персона Гиппенрейтер(под) Детям о праве Книги, о которых говорят Правила работы Библиотека для человека Дальний Восток: героика, труд, путешествия Специальный проект

  • Язык издания

    Русский

  • Издатель

    АСТ Моркнига АСТ-Аудиокнига Гангут Концептуал КомКнига Недра Связь Транзиткнига Перо Corpus (АСТ) Аудиокнига Москвоведение ИКИ СО РАН Русь Система

  • Тип носителя

    Шаманов Алексей

3 035 ₽
- 12%
Интеграция управления программой и системной инженерии. Методы, инструменты и организационные системы для улучшения результативности интеграции
Интеграция управления программой и системной инженерии. Методы, инструменты и организационные системы для улучшения результативности интеграции
Книга является результатом проекта, который был реализован Институтом управления проектами (Project Management Institute, PMI) и Международным советом по системной инженерии (International Council on Systems Engineering, INCOSE). В книге обсуждается, как организации могут стать более результативными и эффективными, более чутко реагировать на изменения и добиваться лучших результатов работы благодаря интеграции управления программой и системной инженерии. Описаны понятие интеграции, а также методы и средства интеграции, включая предложенную авторами концептуальную платформу (фреймворк) интеграции, охватывающую шесть ключевых измерений – процессы, практики и инструменты интеграции; организационную среду; компетентность персонала; сопутствующие факторы; результативность интеграции и результативность исполнения программы. Рассмотрены многочисленные примеры успешного внедрения практик интеграции управления программой и системной инженерии и улучшения на этой основе экономических, управленческих и инженерно-технических показателей исполнения программ и деятельности компаний. В контексте интеграции управления программой и системной инженерии также проанализированы примеры неудачных программ. В основу примеров положены сведения, полученные от множества руководителей программ и главных системных инженеров, сотрудничающих с сотнями компаний различного профиля. Книга будет полезна для управленцев, инженеров, преподавателей и других специалистов, занятых вопросами создания сложных технических, социотехнических и организационных систем, а также реализацией программ и проектов в этой области. Она также будет интересна студентам и аспирантам, изучающим управление проектами и программами, системную инженерию и связанные с ними дисциплины. Издание осуществлено при поддержке Русского института системной инженерии, продолжающего этой книгой свою библиотеку по системной инженерии.
Цена 3035 руб.
СравнитьКупить
3 035 ₽
- 12%
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Приведены основы дифференциального и интегрального исчисления функции одной действительной переменной. Рассмотрены дифференциальные уравнения и показано их практическое применение при решении технических задач. Даны примеры расчёта систем двигателей с применением интегральных и дифференциальных уравнений. Вывод формул, определение производных, интегралов, построение графиков даётся как обычными математическими методами, так и с применением системы Mathcad. Дан расчёт цикла тепловозного дизельного двигателя с автоматическим построением индикаторной диаграммы в системе Mathcad. Для студентов технических специальностей при изучении как математики, так и прикладных дисциплин. Может быть полезно инженерам и аспирантам.
Цена 2023 руб.
СравнитьКупить
2 023 ₽
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Приведены основы дифференциального и интегрального исчисления функции одной действительной переменной. Рассмотрены дифференциальные уравнения и показано их практическое применение при решении технических задач. Даны примеры расчёта систем двигателей с применением интегральных и дифференциальных уравнений. Вывод формул, определение производных, интегралов, построение графиков даётся как обычными математическими методами, так и с применением системы Mathcad. Дан расчёт цикла тепловозного дизельного двигателя с автоматическим построением индикаторной диаграммы в системе Mathcad. Для студентов технических специальностей при изучении как математики, так и прикладных дисциплин. Может быть полезно инженерам и аспирантам.
Цена 2023 руб.
СравнитьКупить
  • Серия

    Эксклюзивная классика (Лучшее) НАУКУ — ВСЕМ! Шедевры научно-популярной литературы (математика)

  • Издатель

    Перо ИКИ Система

  • Направление в научной литературе

    Популярная анатомия и физиология

2 023 ₽
- 11%
Анализ вредоносных программ
Анализ вредоносных программ
Изучите концепции, инструментальные средства и методы анализа и исследования вредоносных программ для WindowsСоздание безопасной и изолированной лабораторной среды для анализа вредоносных программИзвлечение метаданных, связанных с вредоносным ПООпределение взаимодействия вредоносных программ с системойРеверс-инжиниринг различных вредоносных функцийДекодирование общих алгоритмов кодирования/ шифрованияМетоды внедрения и перехвата вредоносного кодаИзучение и выслеживание вредоносных программ с помощью криминалистического анализа дампов памятиАнализ вредоносных программ и анализ дампов памяти - это мощные методы анализа и расследования, используемые в реверс-инжиниринге, цифровой криминалистике и при реагировании на инциденты. Из-за того, что злоумышленники становятся все более изощренными и осуществляют атаки с использованием сложного вредоносного ПО на критические инфраструктуры, центры обработки данных и другие организации, обнаружение и расследование таких вторжений, реагирование на них имеют решающее значение для профессионалов в области информационной безопасности.Данная книга обучает концепциям, методам и инструментам, позволяющим понять поведение и характеристики вредоносных программ с помощью их анализа, а также методам исследования и поиска с использованием криминалистического анализа дампов памяти.Используя реальные примеры вредоносных программ, образы зараженной памяти и визуальные диаграммы, вы сможете лучше понять предмет и вооружиться навыками, необходимыми для анализа, расследования и реагирования на инциденты, связанные с вредоносным ПО.Издание предназначено для специалистов-практиков в области кибербезопасности, будет полезно студентам, аспирантам и инженерам соответствующих специальностей.
Цена 2851 руб.
СравнитьКупить
2 851 ₽
Анализ вредоносных программ
Анализ вредоносных программ
Изучите концепции, инструментальные средства и методы анализа и исследования вредоносных программ для WindowsСоздание безопасной и изолированной лабораторной среды для анализа вредоносных программИзвлечение метаданных, связанных с вредоносным ПООпределение взаимодействия вредоносных программ с системойРеверс-инжиниринг различных вредоносных функцийДекодирование общих алгоритмов кодирования/ шифрованияМетоды внедрения и перехвата вредоносного кодаИзучение и выслеживание вредоносных программ с помощью криминалистического анализа дампов памятиАнализ вредоносных программ и анализ дампов памяти - это мощные методы анализа и расследования, используемые в реверс-инжиниринге, цифровой криминалистике и при реагировании на инциденты. Из-за того, что злоумышленники становятся все более изощренными и осуществляют атаки с использованием сложного вредоносного ПО на критические инфраструктуры, центры обработки данных и другие организации, обнаружение и расследование таких вторжений, реагирование на них имеют решающее значение для профессионалов в области информационной безопасности.Данная книга обучает концепциям, методам и инструментам, позволяющим понять поведение и характеристики вредоносных программ с помощью их анализа, а также методам исследования и поиска с использованием криминалистического анализа дампов памяти.Используя реальные примеры вредоносных программ, образы зараженной памяти и визуальные диаграммы, вы сможете лучше понять предмет и вооружиться навыками, необходимыми для анализа, расследования и реагирования на инциденты, связанные с вредоносным ПО.Издание предназначено для специалистов-практиков в области кибербезопасности, будет полезно студентам, аспирантам и инженерам соответствующих специальностей.
Цена 2851 руб.
СравнитьКупить
  • Серия

    Живи с умом Лечу едой Вопрос - ответ(бол) Детям про ЭТО Книги, которые все ждали Эксклюзивная классика (Лучшее) Книги, о которых говорят

  • Издатель

    АСТ Инфра-М Моркнига АСТ-Аудиокнига Гангут КомКнига Недра Связь Транзиткнига Перо Corpus (АСТ) Аудиокнига Москвоведение ИКИ СО РАН Техинформ ВЯТКА Система

  • Тип носителя

    Шаманов Алексей

  • Направление в научной литературе

    Организация здравоохранения

2 851 ₽

Дополнительно из категории

Цифровая обработка звуковых и вибросигналов в LabVIEW (+DVD)
Цифровая обработка звуковых и вибросигналов в LabVIEW (+DVD)
Книга представляет собой справочник функций, основанный на переводе и обработке контекстной помощи (Help) для функций и виртуальных приборов (ВП) системы моделирования, чтения, записи и обработки звуковых и вибросигналов NI Sound and Vibration LabVIEW 8.5.1 (Measurements Suite (MS) - Набор программ Измерения и Sound and Vibration Toolkit - Инструментарий), и может быть полезна специалистам при разработке и изучении программно-аппаратных средств National Instruments. Книга основана на лицензионном программном продукте LabVIEW 8.5.1, сохраняет структуру контекстной помощи и предназначена для специалистов, изучивших начальный курс LabVIEW, а также для студентов старших курсов, магистрантов и аспирантов. На прилагаемом DVD содержатся LabVIEW 8.5.1 и NI Sound and Vibration Measurement Suite 6.0.
Цена 1777 руб.
Сравнить
  • Издательство

    КУРС КомКнига

1 777 ₽
1С. Бухгалтерия 8.1 с нуля! Книга+Видеокурс (+СD)
1С. Бухгалтерия 8.1 с нуля! Книга+Видеокурс (+СD)
Книга, которую вы держите в руках, представляет собой уникальную и самую современную методику обучения: это одновременно и хорошо иллюстрированная книга, и ВИДЕОКУРС, озвученный профессиональным диктором. В книге подробно, с иллюстрацией на примерах, рассматривается ведение бухгалтерского и налогового учета, начиная с первоначального заполнения информационной базы данными по вашему предприятию и заканчивая подведением общих итогов, составлением бухгалтерского баланса и итоговой отчетности в контролирующие инстанции. Также в книге приводится подробный алгоритм корректного переноса всех данных из типовой конфигурации "1С:Бухгалтерия 7.7" в более новую программу - "1С:Бухгалтерия предприятия 8.1". Прочитав книгу и посмотрев прилагаемый видеокурс, вы быстро сможете начать самостоятельно вести бухгалтерский и налоговый учет на вашем предприятии с помощью типовой конфигурации программы "1С:Бухгалтерия предприятия 8.1".
Цена 1238 руб.
Сравнить
1 238 ₽
100 лучших программ для iPhone и iPad
100 лучших программ для iPhone и iPad
С каждым годом границы между стационарными компьютерами и мобильными устройствами все больше размываются - компьютеры становятся все меньше, а смартфоны и планшеты становятся все более функциональными. Но как использовать ваше iOS-устройство на все 100%? Не последнюю роль в расширении возможностей мобильных устройств играет их экосистема - набор предлагаемых сервисов и приложений. В данной книге вы узнаете о самых лучших приложениях для работы и развлечений на iPhone и iPad - приложения для расширения возможностей устройства, общения с друзьями, ip-телефонии, путешествий, чтения и работы с документами и многого другого. Каждое приложение в книге дополнено qr-квадратом, что упростит их поиск в AppStore. Используйте ваш iPad и iPhone по максимуму!
Цена 625 руб.
Сравнить
  • Серия

    Мой компьютер

  • Издательство

    Лань КомКнига

625 ₽
iPad для пенсионеров для "чайников"
iPad для пенсионеров для "чайников"
Планшет iPad идеально подходит для тех, кому за 50. Это небольшое устройство, которое можно взять с собой куда угодно. А превосходная "начинка" планшета позволяет с его помощью решать самые разнообразные задачи. Благодаря этой книге вы легко освоите различные функции iPad - от создания и передачи текстовых сообщений и сообщений электронной почты, рассылки видео и фотографий, чтения электронных книг до использования игр и приложений, создания напоминаний и управления календарем. Начните с азов. Изучите мультисенсорный интерфейс и познакомьтесь со встроенными приложениями и центром управления. Погрузитесь в мир Интернета. Делайте покупки в Интернете, планируйте отпуск, просматривайте новости и получайте удовольствие от посещения сайтов с помощью Safari. Наслаждайтесь мультимедийными ресурсами. Наполните свой iPad любимой музыкой, электронными книгами, фотографиями, играми и сериалами, а также синхронизируйте все ресурсы с iCloud. Планируйте свое время. Запоминайте встречи и важные даты с помощью приложения Напоминания и создавайте календарные графики с помощью приложения Календарь. Консультируйтесь со своим персональным помощником. Спросите у Siri, есть ли хороший ресторан поблизости, попросите отправить другу сообщение электронной почты либо поручите напомнить вам о просмотре любимого сериала. Основные темы книги: удобные возможности для людей с особыми потребностями; рассылка файлов и фотографий с помощью AirDrop; обеспечение безопасности iPad; выполнение видеозвонков с помощью FaceTime; рассылка данных с помощью социальных сетей и приложения Сообщения; планирование и создание заметок с помощью приложений Календарь и Заметки; ориентирование на местности с помощью приложения Карты; получение помощи от Siri. Нэнси Мюир - журналист и консультант по компьютерным технологиям. Ее перу принадлежит свыше ста книг, в том числе Компьютер для пенсионеров для чайников и Ноутбуки для пенсионеров для чайников. 6-е издание.
Цена 1044 руб.
Сравнить
  • Серия

    Мой компьютер

  • Издательство

    Лань КомКнига

  • Направление в компьютерной литературе

    Стандартное Специальное

1 044 ₽
Планшет. Самоучитель с нуля. Для любого возраста. Максимально понятно
Планшет. Самоучитель с нуля. Для любого возраста. Максимально понятно
У вас в руках простая и понятная инструкция к вашему планшету! Она написана специально для тех, кто взял планшет в руки впервые. Поэтому в ней нет непонятных слов и ненужной новичку информации. Эта инструкция состоит только из иллюстраций и простых алгоритмов. Потратив всего 15-20 минут, вы легко сможете научиться: - правильно включать, выключать, заряжать ваш планшет; - делать фото и снимать видео; - бесплатно звонить по всему миру; - закачивать книги, смотреть видео и слушать музыку из Интернета; - и еще многое, многое другое! В этой книге вы найдете описание сразу двух самых популярных планшетов - айпэда и планшета с андроид.
Цена 567 руб.
Сравнить
  • Серия

    Самоучитель Самоучитель

  • Издательство

    АСТ Лань Алгоритм КомКнига

567 ₽
Москва
Санкт-Петербург
Ангарск
Армавир
Архангельск
Астрахань
Балаково
Балашиха
Барнаул
Белгород
Бийск
Благовещенск
Братск
Брянск
Великий Новгород
Владивосток
Владикавказ
Владимир
Волгоград
Волжский
Вологда
Воронеж
Грозный
Дзержинск
Екатеринбург
Иваново
Ижевск
Иркутск
Йошкар-Ола
Казань
Калининград
Калуга
Кемерово
Киров
Комсомольск-на-Амуре
Королёв
Кострома
Краснодар
Красноярск
Курган
Курск
Липецк
Магнитогорск
Махачкала
Мурманск
Набережные Челны
Нальчик
Нижневартовск
Нижнекамск
Нижний Новгород
Нижний Тагил
Новокузнецк
Новороссийск
Новосибирск
Омск
Орёл
Оренбург
Орск
Пенза
Пермь
Петрозаводск
Петропавловск-Камчатский
Подольск
Прокопьевск
Псков
Ростов-на-Дону
Рыбинск
Рязань
Самара
Саранск
Саратов
Северодвинск
Смоленск
Сочи
Ставрополь
Старый Оскол
Стерлитамак
Сургут
Сыктывкар
Таганрог
Тамбов
Тверь
Тольятти
Томск
Тула
Тюмень
Улан-Удэ
Ульяновск
Уфа
Хабаровск
Химки
Чебоксары
Челябинск
Череповец
Чита
Шахты
Энгельс
Южно-Сахалинск
Якутск
Ярославль
другой город