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

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

...Нажми для увеличения фото
 Сравнить
 В избранное

597 ₽

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

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

  • Общий рейтинг 4.28
  • Рейтинг покупателей 4.86
  • Рейтинг экспертов 4.52
  • Качество материалов 4.81
  • Надежность 4.22
  • Простота в использовании 4.15
  • Ремонтопригодность 4.45
  • Эффективность выполнения своих функций 4.48
  • Коэффициент удивления "Вау!" 4.28
  • Безопасность для пользователя4.62
  • Внешний вид 4.55
  • Удобство в уходе и чистке 4.14
  • Экологическая безопасность 4.57
  • Гарантия на товар 4.11
  • Соответствие стандартам качества 4.25
  • Инновационные технологии 4.19
  • Хит продаж 4.28
  • Скорость морального устаревания 4.84
  • Энергоэффективность 4.45
  • Универсальность использования 4.80
  • Наличие дополнительных функций 4.17
  • Соотношение цена-качество 4.51
  • Практичность и удобство хранения 4.82
  • Стабильность работы в различных условиях 4.76
  • Возможность персонализации 4.00
  • Ликвидность 4.42
  • Индекс рекомендаций 4.11
2553 покупателей и эксперты портала 1ya.ru рекомендуют к покупке товар «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог» или его аналог из списка ниже.
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников или размещена продавцом. Цена указана на дату: 09.04.2025 г. На текущий момент стоимость может отличаться. Предложение не является публичной офертой.
Эксперт: Ринат К., ассистент по интернет-покупкам
Дата рецензии: 14 июня 2025 г.
Рекомендация к покупке положительная

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

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

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

    • Наличными или картой при получении;
    • Банковской картой на сайте.
  • Наименование: ООО «Новый Книжный Центр»
  • ИНН: 7710422909

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

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

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

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

    Русский

  • Издатель

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

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

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

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

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

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

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

  • Издатель

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

  • Автор

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

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

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

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

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

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

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

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

    Second-hand книги

717 ₽

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

...
Пойманный свет
Чане Монтгомери испытывает самые нежные чувства к няне своих детей. Тори почему-то отвергает его. Ее глаза полны печати, а сердце снедает тревога. Тени прошлого не дают Тори покоя, но Чане изо всех сил старается развеять тьму...
Цена 169 руб.
СравнитьКупить
  • Серия

    Король на все времена(м) Эксклюзивная классика (Лучшее) С-П Все звезды Берсерки Лучшее Мето Свет и Тьма

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

    Манн, Иванов и Фербер Человек Свет Око

169 ₽
...
На ее условиях
Симона хочет скрасить своему единственному родному человеку, любимому дедушке, последние дни жизни. С этой целью она появляется на пороге Алесандера Эскивеля, ловеласа и личного врага их семьи, и предлагает ему... жениться на ней.
Цена 169 руб.
СравнитьКупить
  • Серия

    Король на все времена(м) Эксклюзивная классика (Лучшее) С-П Лучшее Мето

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

    Человек Пороги Око Век

169 ₽
- 10%
...
Новые Скифы: Статьи, эссе.
Книга Павла Зарифуллина - это пророчество о скором возвращении Золотых Скифов и Солнечных Русских. . .Скифское движение поэтов и революционеров возникло в молниеносном 1917 году. «Скифство» стало вершиной русского Народничества и предтечей Евразийства. «Скифами» называли себя лучшие писатели, музыканты и художники Серебряного века. . .В центре мечты поэтов и народников - на кума-чёвом от степных маков кургане стояли кочевники-скифы. Пращуры смотрели на нас из исторической бездны. Вольные и непобедимые, наполненные светом и силой, подарившие всем народам России культуру и генофонд, они представляли собой настоящий Русский Рай - живое и историческое Царство Правды на нашей земле. . .Звёзды над головами вновь выстраиваются особым образом. Петроград. 7 ноября. Двенадцать. Новые Скифы.
Цена 349 руб.
СравнитьКупить
  • Серия

    Вершины Золотые родники Люди Льда Эксклюзивная классика (Лучшее) Золотой век С-П Книга, о которой говорят Тебе, юность Серебро Вершины Тот, кто не предаст. Люди и их питомцы Mainstream.Лучшее Кинохиты России. Триллер, детектив, история, комедия Чак Паланик и его бойцовский клуб(м) Книга, покорившая мир Все, что я знаю о Акунин Приключения магистра(м) Золотой телец Новый век Настоящее Есть, молиться, любить Имена Из книг Лучшее от Пауло Коэльо (М) Абгарян(под) Книги Михаила Веллера(м) Люди, которые всегда со мной Обет молчания (м)

  • Язык

    Русский

  • Издатель

    АСТ Астрель Астрель-СПб Гангут Луч Человек Золотой век Книга Транзиткнига Народная асвета Русская книга Книга Новая книга Культура Corpus (АСТ) ОГИ МАИ Свет Зерна Аудиокнига Книма ЛУч Возвращение Культурная Революция Центркнига Полиграфкнига Родники Петро-РИФ Муза ИНФОРМКУЛЬТУРА Степной ветер

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

    Лоутон Фрэнк

349 ₽
...
Повелитель мух
"Повелитель мух". Странная, страшная и бесконечно притягательная книга. История благовоспитанных мальчиков, внезапно оказавшихся на необитаемом острове. Философская притча о том, что может произойти с людьми, забывшими о любви и милосердии. Гротескная антиутопия, роман-предупреждение и, конечно, напоминание о хрупкости мира, в котором живем мы все.
Цена 349 руб.
СравнитьКупить
  • Серия

    Малая книга с историей Книга за книгой Эксклюзивная классика (Лучшее) Всё лучшее детям Я люблю #правильные_книги Приключения, история, романтика Белая серия (мини) Роман о любви Кл.и Сов.пр(м)

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

    Мир книги Искателькнига Мир Мой мир Книга Транзиткнига МедиаКнига Книга Совэкспорткнига Око Центркнига ИМЛИ РАН Тройка ЕС

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

    Шевельков Владимир Алексеевич

  • Подборки

    Топ-100 детских книг

349 ₽
- 22%
...
Поющие в терновнике
«Поющие в терновнике». Любовный роман, поднятый на уровень настоящей лите­ратуры. Трогательная история взаимоотношений влюблен­ных, завораживающая читателя своей искренностью, чистотой и глубиной...
Цена 441 руб.
СравнитьКупить
  • Серия

    Любовный роман Любовный роман Эксклюзивная классика (Лучшее) Кинороман Любовный роман Любовный роман Роман Тот, кто не предаст. Люди и их питомцы Я люблю История любви Кинохиты России. Триллер, детектив, история, комедия Лучшие романы о любви Кинороман История любви Моя любовь Лучший любовный роман Королева любовного романа(м) Романтика любви(м) @любовь Имена любви Разговор по душам(м) Между нами, девочками(м) История любви Любовный роман Моя любовь Истории, восхитившие мир

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

    АСТ

  • Направление в романах

    Технология Симоненко (5-9) (Б)

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