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

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

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

2 115 ₽

Товар в наличии
  Сравнить
  В избранное
  Доставка в г. от 5 дней
  Оплата заказа
  Похожие товары
  Видео обзоры
  Как заказать "Методы верификации программ"?
  Нашли дешевле? Снизим цену!
  Узнать о снижении стоимости
Отправим письмо при снижении стоимости.
  • nodiscount
  • Код номенклатуры

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

  • Общий рейтинг 4.85
  • Рейтинг покупателей 4.51
  • Рейтинг экспертов 4.18
  • Качество материалов 4.55
  • Надежность 4.88
  • Простота в использовании 4.51
  • Ремонтопригодность 4.77
  • Эффективность выполнения своих функций 4.75
  • Коэффициент удивления "Вау!" 4.85
  • Безопасность для пользователя4.18
  • Внешний вид 4.71
  • Удобство в уходе и чистке 4.57
  • Экологическая безопасность 4.10
  • Гарантия на товар 4.55
  • Соответствие стандартам качества 4.81
  • Инновационные технологии 4.51
  • Хит продаж 4.85
  • Скорость морального устаревания 4.57
  • Энергоэффективность 4.71
  • Универсальность использования 4.50
  • Наличие дополнительных функций 4.50
  • Соотношение цена-качество 4.15
  • Практичность и удобство хранения 4.58
  • Стабильность работы в различных условиях 4.01
  • Возможность персонализации 4.00
  • Ликвидность 4.78
  • Индекс рекомендаций 4.55
2740 покупателей и эксперты портала 1ya.ru рекомендуют к покупке товар «Методы верификации программ» или его аналог из списка ниже.
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников или размещена продавцом. Цена указана на дату: 01.04.2025 г. На текущий момент стоимость может отличаться. Предложение не является публичной офертой.
Методы верификации программ продается в интернет-магазине Book24
Эксперт: Евгений Р., шопинг-консультант
Дата рецензии: 5 ноября 2025 года
Рекомендация к покупке положительная

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

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

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

    • Курьерской службой;
    • Самовывоз из пунктов выдачи;
    • Почтой России.

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

    • Наличными при получении;
    • Банковской картой;
    • Электронными деньгами Яндекс-Деньги; Webmoney, Qiwi
    • Наложенным платежом.
  • Наименование: ООО «Новый Книжный Центр»
  • ИНН: 7710422909

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

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

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

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

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

  • Издатель

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

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

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

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

    8+

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

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

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

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

  • Издатель

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

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

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

2 023 ₽
- 12%
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Приведены основы дифференциального и интегрального исчисления функции одной действительной переменной. Рассмотрены дифференциальные уравнения и показано их практическое применение при решении технических задач. Даны примеры расчёта систем двигателей с применением интегральных и дифференциальных уравнений. Вывод формул, определение производных, интегралов, построение графиков даётся как обычными математическими методами, так и с применением системы Mathcad. Дан расчёт цикла тепловозного дизельного двигателя с автоматическим построением индикаторной диаграммы в системе Mathcad. Для студентов технических специальностей при изучении как математики, так и прикладных дисциплин. Может быть полезно инженерам и аспирантам.
Цена 2023 руб.
СравнитьКупить
2 023 ₽
Метод Глебовой
Метод Глебовой
Ты – руководитель и хочешь начать свой бизнес или вырасти в существующем? Хочешь настроить свой бизнес так, чтобы он работал на тебя? Или выяснить, как распознать, что важно именно для тебя, а затем активировать это важное и запустить процессы? Или, может, расставить приоритеты и сделать больше, чем сейчас? Значит, тебе пригодятся мои знания в этих вопросах. Тем более что я потратила на них 6570 дней. У тебя есть столько времени? Думаю, что нет. Как получить эти знания? Все очень просто: открывай эту книгу и приступай к чтению. «Метод Глебовой» – это выжимка накопленного мною опыта. Это ключевые точки, благодаря которым человек может улучшить свою жизнь не только в бизнесе, но и в абсолютно других сферах.
Цена 2575 руб.
СравнитьКупить
  • Серия

    Умный бизнес Бизнес Познай себя iБизнес Книги, которые все ждали С-П Руководителю Глаза боятся, а руки делают Бизнес-книга Бизнес-книга Идеи, которые работают О бизнесе и не только

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

    АСТ РИОР Дело ОГИ Кодем Луч-2

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

    Боон Луи-Поль

2 575 ₽

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

- 11%
Практичный EMAIL-маркетинг: повышаем продажи с помощью рассылок
Практичный EMAIL-маркетинг: повышаем продажи с помощью рассылок
Книга посвящена практическим вопросам продвижения товаров и услуг путем организации рассылок по электронной почте. Изложены основы email-маркетинга: сбор базы подписчиков, ее разделение на удобные для работы сегменты, подготовка и отправка email-рассылок, измерение результатов, тестирование и автоматизация. Рассмотрены вопросы выбора сервиса для рассылок, доставляемости писем, стратегии email-маркетинга, дан набор рабочих тактик. Материалы дополнены интервью с экспертами отрасли, которые помогают более полно и всесторонне раскрыть тему email-маркетинга, касаются актуальных тенденций и делятся ценным практическим опытом. В приложениях приведен готовый план email-маркетинга, список необходимых знаний и умений для современного email-маркетолога, а также перечень ссылок на полезные инструменты для email-маркетинга.
Цена 717 руб.
СравнитьКупить
  • Серия

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

  • Издатель

    Лань Моркнига Знание Гангут КомКнига Время Транзиткнига Перо Страта Аудиокнига Семь Дней ИКИ Полиграфмаркет Белмаркет

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

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

717 ₽
Заменит ли нас искусственный интеллект?
Заменит ли нас искусственный интеллект?
За последние 60 лет произошел поразительный рост в области искусственного интеллекта - технологии, которая учит машины чувствовать, обучаться, строить умозаключения и действовать. Системы ИИ - от социальных сетей до Netflix - уже проникли в нашу повседневную жизнь, а беспилотные автомобили и роботы-гуманоиды начали коренным образом менять наше взаимодействие с миром. Находимся ли мы на пороге реальности, в которой доминировать будет ИИ? Как на практике будет реализован этический подход в этой постоянно расширяющейся области? Вытеснит ли ИИ людей? В этом подробном обзоре автор поднимает самые острые проблемы: способен ли ИИ преобразовать общество и человечество в целом, или его колоссальные возможности приведут нас в антиутопическое будущее, где ИИ будет править миром.
Цена 1057 руб.
СравнитьКупить
  • Серия

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

  • Издатель

    АСТ Вече Искусство Искусство Мир Интеллект Мир Искусство-СПБ Corpus (АСТ) ИКИ Жизнь с Богом Система

1 057 ₽
Инженерная и компьютерная графика. Общие правила выполнения чертежей. Учебное пособие
Инженерная и компьютерная графика. Общие правила выполнения чертежей. Учебное пособие
В учебном пособии рассмотрены вопросы, связанные с оформлением графических работ в соответствии с требованиями государственных стандартов Единой системы конструкторской документации. Особое внимание уделено последовательности создания чертежей деталей с разрезами. Пособие содержит сведения, необходимые для выполнения графических работ по курсу «Инженерная и компьютерная графика» средствами компьютерной графики, позволяет освоить приемы создания чертежей в программе «КоМПАС-график». Большое количество подробно рассмотренных практических работ, упражнений позволяют увеличить долю самостоятельности в выполнении индивидуальных заданий и в изучении графического редактора «КоМПАС-график». В приложениях приведены варианты индивидуальных заданий. Предназначено для студентов всех специальностей всех форм обучения, изучающих курс «Инженерная и компьютерная графика».
Цена 505 руб.
СравнитьКупить
  • Серия

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

  • Издатель

    Вариант Редактор Связь Москвоведение ИКИ Система

505 ₽
Дневник дизайнера-маньяка
Дневник дизайнера-маньяка
Это книга о дизайнерах и для дизайнеров - откровенный разговор о наболевшем. Сначала она существовала в виде сетевого дневника, который для издания на бумаге был переписан и снабжен иллюстрациями. Яна Франк делится своими мыслями о профессии, предлагает ответы на "вечные вопросы": должен ли дизайнер уметь рисовать, существует ли идеальный заказчик, где брать свежие идеи, чем отличается плагиат от работы с материалом. Авторские рецепты спасения проектов от провала можно использовать и в качестве пособия по тому, как загубить любое хорошее начинание. Впервые книга была издана в 2006 году.
Цена 1471 руб.
СравнитьКупить
  • Серия

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

  • Издатель

    Вече Моркнига Мысль КомКнига Левша Транзиткнига Перо Аудиокнига ИКИ СО РАН

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

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

1 471 ₽
Справочник UNITY. Кратко, быстро, под рукой
Справочник UNITY. Кратко, быстро, под рукой
Эта книга будет полезна всем, кто хочет освоить или уже осваивает самый популярный из современных и доступных игровых движков -Unity. В справочнике в удобном формате собрано множество полезной информации для работы с Unity: компоненты для создания игровых объектов и сцен; трансформация объектов; камеры и их свойства; источники света и геометрия освещения; материалы, текстуры, шейдеры; создание ландшафта; Зй-физика и 20-физика в Unity; коллайдеры, сочленения и компоненты; работа со звуком и звуковым оформлением; анимация; полезные сочетания клавиш и различные трюки Unity. Эта книга поможет вам увереннее работать с Unity и в удобной форме оперативно получать информацию, которая будет у вас всегда под рукой. Кроме того, книга может использоваться в качестве дополнения к каким-либо учебным видеокурсам по Unity, а также для систематизации имеющихся знаний. Подходит как начинающим, так и опытным разработчикам на Unity.
Цена 597 руб.
СравнитьКупить
  • Серия

    Для дома, для семьи Справочник Справочник Получится на 100% Краткий справочник Книги, которые все ждали Книги на все времена Эксклюзивная классика (Лучшее) Для дома, для семьи Гиппенрейтер(под) Детям о праве Книги, о которых говорят Физика Справочник Справочники НАУКУ — ВСЕМ! Шедевры научно-популярной литературы (физика) Высший курс Правила работы Полезные знания Самые красивые, самые желанные Как работает

  • Издатель

    Лань Моркнига Знание Звуковая книга КомКнига Времена 2 Время Транзиткнига Перо Свет Аудиокнига Деметра Семь Дней ИКИ СО РАН Техинформ Система

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

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

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

    Популярная медицина

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