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

Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог

...
  Сравнить
  В избранное

597 ₽

Товар в наличии
Ещё от "Book24":
  Доставка в г. от 4 дней
  Оплата заказа
  Похожие товары
  Видео обзоры
  Как заказать "Современные методы и"?
  Нашли дешевле? Снизим цену!
  Узнать о снижении стоимости
Отправим письмо при снижении стоимости.

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

  • Общий рейтинг 4.51
  • Рейтинг покупателей 4.17
  • Рейтинг экспертов 4.55
  • Качество материалов 4.11
  • Надежность 4.55
  • Простота в использовании 4.15
  • Ремонтопригодность 4.08
  • Эффективность выполнения своих функций 4.01
  • Коэффициент удивления "Вау!" 4.51
  • Безопасность для пользователя4.75
  • Внешний вид 4.85
  • Удобство в уходе и чистке 4.10
  • Экологическая безопасность 4.50
  • Гарантия на товар 4.11
  • Соответствие стандартам качества 4.55
  • Инновационные технологии 4.19
  • Хит продаж 4.51
  • Скорость морального устаревания 4.10
  • Энергоэффективность 4.05
  • Универсальность использования 4.10
  • Наличие дополнительных функций 4.10
  • Соотношение цена-качество 4.51
  • Практичность и удобство хранения 4.15
  • Стабильность работы в различных условиях 4.07
  • Возможность персонализации 4.00
  • Ликвидность 4.05
  • Индекс рекомендаций 4.11
2875 покупателей и эксперты портала 1ya.ru рекомендуют к покупке товар «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог» или его аналог из списка ниже.
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников или размещена продавцом. Цена указана на дату: 09.04.2025 г. На текущий момент стоимость может отличаться. Предложение не является публичной офертой.
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог продается в интернет-магазине Book24
Эксперт: Евгений Р., шопинг-консультант
Дата рецензии: 20 июля 2025 года
Рекомендация к покупке положительная

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

Елена Е,  21.03.2024

Наталья Е,  16.02.2024

Игорь Н,  12.02.2024

Кирилл Л,  08.02.2024

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

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

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

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

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

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

...
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Цена 597 руб.
СравнитьКупить
597 ₽
...
Современный правопорядок: формальные и содержательные основания: монография
В монографии рассматриваются формальные и содержательные условия действительности современного правопорядка. В работе освещаются такие актуальные теоретико-правовые проблемы, как понятие правопорядка, роль правового поведения в характеристике реального правопорядка, значение правовых ценностей общества как основания правопорядка, правовая идеология современного общества и ее влияние на формирование правопорядка, идея демократии как содержательное основание правопорядка, вопросы укрепления правопорядка и другие.Законодательство приведено по состоянию на 1 января 2022 г.Для преподавателей, аспирантов и студентов, практикующих юристов, а также всех интересующихся проблемами современной общеправовой теории.
Цена 643 руб.
СравнитьКупить
643 ₽
...
Современный правопорядок: формальные и содержательные основания: монография
В монографии рассматриваются формальные и содержательные условия действительности современного правопорядка. В работе освещаются такие актуальные теоретико-правовые проблемы, как понятие правопорядка, роль правового поведения в характеристике реального правопорядка, значение правовых ценностей общества как основания правопорядка, правовая идеология современного общества и ее влияние на формирование правопорядка, идея демократии как содержательное основание правопорядка, вопросы укрепления правопорядка и другие. Законодательство приведено по состоянию на 1 января 2022 г. Для преподавателей, аспирантов и студентов, практикующих юристов, а также всех интересующихся проблемами современной общеправовой теории.
Цена 643 руб.
СравнитьКупить
643 ₽
...
Формальный метод: Антология русского модернизма. Том 2. Материалы (Ушакин)
Сборник включает програмные стати, интервю, рецензии и другие важные тексты ведущих формалистов «золотого века» русского и советского модернизма. Тематические разделы книги и под­борки каждого автора предварены специално написанными для этой антологии статями известных современных исследователей.
Цена 1103 руб.
СравнитьКупить
  • Серия

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

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

    Русский

  • Издатель

    Моркнига ИГ Весь КомКнига Времена 2 Время Транзиткнига Аудиокнига ИКИ Русь Век 2

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

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

1 103 ₽
- 4%
...
Формальный метод: Антология русского модернизма. Том 2. Материалы (Ушакин)
Сборник включает програмные стати, интервю, рецензии и другие важные тексты ведущих формалистов «золотого века» русского и советского модернизма. Тематические разделы книги и под­борки каждого автора предварены специално написанными для этой антологии статями известных современных исследователей.
Цена 1103 руб.
СравнитьКупить
1 103 ₽
...
Современные методы и практики дипломатии
Книга представляет собой комплексный анализ основных направлений, форм и методов современной дипломатии. В ней рассмотрены механизмы акторов международных отношений и специфика деятельности в институтах многосторонней дипломатии. Книга будет интересна для студентов бакалавриата и магистратуры по направлению «Зарубежное регионоведение» и «Международные отношения», а также для дисциплин, связанных с изучением дипломатической службы и истории международных отношений.
Цена 737 руб.
СравнитьКупить
737 ₽
...
Бесплодие. Диагностика, современные методы лечения
В книге представлены данные по эпидемиологии, классификации, этиологии и патогенезу бесплодия, а также в простой и доступной форме изложены главные принципы диагностики и лечения основных форм женского бесплодия: эндокринного, трубно-перитонеального, эндометриоз-ассоциированного и иммунологического. Приведен алгоритм обследования супружеской пары. Многочисленные схемы, рисунки, таблицы и алгоритмы облегчают восприятие материала. В отдельной главе изложены основные принципы лечения бесплодия с помощью вспомогательных репродуктивных технологий, обсуждаются протоколы индукции суперовуляции, лютеиновая поддержка индуцированных циклов, особенности экстракорпорального оплодотворения при синдроме поликистозных яичников, миоме матки, эндометриозе, при бедном ответе. В книге подробно изложены особенности ведения беременности после ЭКО. .Книга предназначена для акушеров-гинекологов, эндокринологов и урологов.
Цена 487 руб.
СравнитьКупить
  • Серия

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

  • Издатель

    Моркнига КомКнига Времена 2 Время Транзиткнига Перо Аудиокнига Деметра Москвоведение ИКИ

  • Автор

    Дартнелл Льюис

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

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

487 ₽
- 11%
...
Бесплодие. Диагностика, современные методы лечения
В книге представлены данные по эпидемиологии, классификации, этиологии и патогенезу бесплодия, а также в простой и доступной форме изложены главные принципы диагностики и лечения основных форм женского бесплодия: эндокринного, трубно-перитонеального, эндометриоз-ассоциированного и иммунологического. Приведен алгоритм обследования супружеской пары. Многочисленные схемы, рисунки, таблицы и алгоритмы облегчают восприятие материала. В отдельной главе изложены основные принципы лечения бесплодия с помощью вспомогательных репродуктивных технологий, обсуждаются протоколы индукции суперовуляции, лютеиновая поддержка индуцированных циклов, особенности экстракорпорального оплодотворения при синдроме поликистозных яичников, миоме матки, эндометриозе, при бедном ответе. В книге подробно изложены особенности ведения беременности после ЭКО. .Книга предназначена для акушеров-гинекологов, эндокринологов и урологов.
Цена 487 руб.
СравнитьКупить
  • Направление в медицине

    Искусство и культура

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

    Высшее образование Высшее образование Высшее экономическое образование Монография Монография Экономическое образование Экономическая теория Образование, воспитание Экономическое образование

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

    АСТ Дело Новое знание Высшее образование Финансы

  • Направление

    Second-hand книги

717 ₽

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

...
Фейнмановские лекции по физике.Т. IV (6)
В свое время преподаватели Калифорнийского технологического университета задумались о том, как можно было бы перестроить курс физики, чтобы сделать его более занимательным и современным. Ричард Фейнман с энтузиазмом подхватил эту идею и согласился прочитать авторский двухгодичный курс лекций по общей физике, но только один раз. Университет, для которого это событие стало историческим, организовал запись лекций, и затем команда физиков подготовила издание в нескольких томах, которое и поныне считается одним из лучших вводных курсов по физике. В настоящий том вошли лекции по электродинамике
Цена 873 руб.
СравнитьКупить
  • Серия

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

  • Издатель

    АСТ Гангут Родина Времена 2 Время Перо Corpus (АСТ) ИКИ

  • Автор

    Дубова Мария

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

    8+

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

    Популярная медицина Медицинская косметология Лечебное питание

873 ₽
...
Задачи Московских городских олимпиад по физике 1986-2007
В сборнике содержится 475 задач, предлагавшихся с 1986 г. по 2005 г. на теоретических турах Московских городских олимпиад школьников по физике. В книгу вошли наиболее интересные задачи с подробными решениями. В приложение включены задачи олимпиад 2006 и 2007 гг. с решениями (всего 68), а также исторические материалы и задачи первых олимпиад 1939-1948 годов. Для школьников 8-х - 11-х классов, абитуриентов, студентов младших курсов вузов, школьных учителей, руководителей школьных физических кружков, преподавателей заочных и вечерних физических школ и подготовительных курсов. Книга может быть полезна преподавателям ВУЗов, занимающимся организацией различных физических олимпиад для школьников и студентов.
Цена 919 руб.
СравнитьКупить
  • Серия

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

  • Издатель

    Вече Моркнига Олимп Высшая школа Гангут Городец КомКнига Транзиткнига Перо Аудиокнига ИКИ

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

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

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

    Популярная медицина Медицинская косметология

919 ₽
...
Физическая одиссея. Увлекательные задачи по физике
Книга содержит 143 увлекательные задачи для учеников 7-11 классов по всем разделам физики от задач с почти очевидными решениями до исследовательских проектов. Многие задачи публикуются впервые. Это открытые задачи, помогающие развитию творческих способностей. Использование этих задач заметно повышает мотивацию учеников. Материалы книги позволяют проводить занимательные конкурсы в школе, городе, регионе. Книгу можно использовать для развития интереса к естественным наукам, для подготовки к олимпиадам, турнирам, детским научным конференциям. Издание рассчитано на школьников, а также на учителей, желающих заинтересовать учеников. Многие задачи можно поставить как исследовательские проекты. Книга может быть полезна студентам и преподавателям физико-математических и инженерных специальностей. Книгу можно использовать и для семейного обучения; родитель или учитель может начать с задач, доступных семикласснику, и постепенно подвести своих учеников (и себя!) к выполнению исследовательских и творческих проектов. В первой части собраны задачи, во второй - решения, в третьей сформирован методический блок "Задачи-открытия" для учителей или родителей, позволяющий настроить преподавание с помощью открытых задач.
Цена 505 руб.
СравнитьКупить
  • Серия

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

  • Издатель

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

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

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

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

    Популярная медицина Омоложение и долголетие

505 ₽
...
Теоретическая механика в задачах. Лагранжева механика. Гамильтонова механика
Данное издание продолжает серию учебных пособий по теоретической механике, выпускаемых кафедрой теоретической механики и мехатроники механико-математического факультета Московского государственного университета им. М. В. Ломоносова. В пособии приводятся подробные решения задач основных типов по курсу «Аналитическая механика». Издание предназначено для студентов и аспирантов естественно-научных факультетов университетов, а также преподавателей теоретической механики.
Цена 441 руб.
СравнитьКупить
  • Серия

    Эксклюзивная классика (Лучшее) Гиппенрейтер(под) Высший курс

  • Издатель

    ИКИ СО РАН

  • Автор

    Клейман Тамара Шлемовна Краснов П. Н.

441 ₽
...
Элементы механики жидкости и газа в курсе общей физики: Учебное пособие
Книга посвящена гидрогазодинамике и рассчитана на студентов младших курсов университетов и учащихся старших классов с углублённой подготовкой по физике и математике. Что-то полезное для себя в книге могут найти школьные учителя физики и преподаватели вузов. В отличие от многих популярных книг, носяших по преимуществу описательный характер, эта книга ближе к учебнику, в том отношении, что в ней важное место уделено аналитическому исследованию гидродинамических явлений. Поскольку от читателей не требуется знание сложных разделов математики, круг рассматриваемых в книге задач ограничен такими, для решения которых достаточно знания основ дифференциального и интегрального исчисления. Тем не менее содержание книги охватывает широкий круг задач от гидро- и аэростатики до ударных волн и сверхзвуковых потоков. Вопросы механики сплошных сред как в курсе физики средних школ, так и в курсе общей физики вузов занимают очень скромное место, не соответствующее их реальной роли в технике и явлениях природы. Попыткой исправить такое положение гидродинамики в современном физическом образовании, заинтересовать ею учащихся и преподавателей, является эта книга. Читатели книги, незнакомые с гидродинамикой, смогут узнать для себя немало интересного, посмотреть на знакомые явления другими глазами, а может быть и всерьёз заинтересоваться этой наукой.
Цена 2575 руб.
СравнитьКупить
  • Серия

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

  • Издатель

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

  • Автор

    Клейман Тамара Шлемовна

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

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

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

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

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