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

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

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

597 ₽

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

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

  • Общий рейтинг 4.28
  • Рейтинг покупателей 4.87
  • Рейтинг экспертов 4.52
  • Качество материалов 4.81
  • Надежность 4.22
  • Простота в использовании 4.15
  • Ремонтопригодность 4.45
  • Эффективность выполнения своих функций 4.48
  • Коэффициент удивления "Вау!" 4.28
  • Безопасность для пользователя4.72
  • Внешний вид 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.77
  • Возможность персонализации 4.00
  • Ликвидность 4.42
  • Индекс рекомендаций 4.11
2549 покупателей и эксперты портала 1ya.ru рекомендуют к покупке товар «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог» или его аналог из списка ниже.
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников или размещена продавцом. Цена указана на дату: 09.04.2025 г. На текущий момент стоимость может отличаться. Предложение не является публичной офертой.
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог продается в интернет-магазине Читай Город
Эксперт: Ринат К., ассистент по интернет-покупкам
Дата рецензии: 10 июля 2025 года
Рекомендация к покупке положительная

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

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

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

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

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

    • Наличными или картой при получении;
    • Банковской картой на сайте.
  • Наименование: ООО «Новый Книжный Центр»
  • ИНН: 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 ₽

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

...
За миг до блаженства
Валентина ушла от Кайроса, не прожив с ним и года в браке. Он женился на ней по расчету и никогда ее не понимал. Вот и теперь через девять месяцев он объявился, потому что она ему понадобилась. Кайрос обещает Валентине помочь в ее новом бизнесе, если она согласится в течение трех месяцев притворяться любящей женой. Валентина не может отказать. Ведь ее сердце по-прежнему принадлежит Кайросу.
Цена 179 руб.
СравнитьКупить
  • Серия

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

179 ₽
...
Италия De Profundis
Джузеппе Дженна (1969) автор многочисленных романов, среди которых "Во имя Ишмаэля" (2001), "Гитлер" (2008), "Dies Irae" и многих других. "Италия De Profundis" - провокационное произведение, в котором писатель с хирургической точностью препарирует внутренний мир и поступки главного героя, а также собственную страну, Италию. Прямо на наших глазах складывается "автобиография, которой не было" (В. Сити), а персонаж Джузеппе Дженна проделывает самые страшные и немыслимые эксперименты над собственным телом и духом в жажде слиться с обрушивающей на него нелицеприятной итальянской действительностью.
Цена 689 руб.
СравнитьКупить
  • Серия

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

  • Язык

    Итальянский

  • Издатель

    Мысль Вита Нова Мир Мысль Человек Мой Мир, ГмбХ & Ко. КГ Перо Мир ОГИ МАИ Зерна Вита ИР Новая Мысль

689 ₽
...
Клуб любительниц грязных книг: роман
Жизнь Эм Джей прекрасна: она - редактор модного журнала, ее жених - красавец доктор. Но глаза у нее открываются, когда она переезжает в солнечную Калифорнию и знакомится с Глорией, своей немолодой соседкой. Та приглашает Эм Джей и еще нескольких женщин в давно образованный ею с подругами клуб, где они читают самого разного рода «грязные» книги — от «Пятидесяти оттенков серого» до «Генри и Джун», от «Любовника леди Чаттерлей» до «Прекрасного подонка». Для многих эти встречи станут роковыми, а кому-то откроют дверь в новую жизнь... .
Цена 873 руб.
СравнитьКупить
  • Серия

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

  • Издатель

    Либроком Человек Книга Транзиткнига Перо Речь Книга Новая книга ОГИ Молодь Зерна Аудиокнига СКОЛ Книма Кром Центркнига Полиграфкнига

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

    Лоутон Фрэнк

  • Подборки в книгах

    Топ-100 книг по саморазвитию Топ-100 бизнес-книг

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

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

  • Издатель

    АСТ Вече Лань Нева Гангут Человек Дом Сова ЛИГА Время Corpus (АСТ) ОГИ Молодь МАИ Зерна Сова Кром Урания Дева Время чайки

  • Подборки в книгах

    Топ-100 книг по саморазвитию

441 ₽
- 12%
...
Les bagatelles. Книга 3 из цикла "Чтение на ночь для совсем взрослых"
Чтение на ночь для совсем взрослых Представьте себе, что Вы попали во Францию времён... вот тут и начинается самое интересное. В этой книге причудливым образом перемешались времена Просвещения и наше с Вами время. Немного наивные, но живые и полные национального колорита стихи Ивелин Миньо в литературном переводе Серафимы Ивановой являются логическим продолжением серии "Чтение на ночь для совсем взрослых".Хотя, если Вы любите преодолевать ненужные трудности, то Вам читать этот сборник категорически воспрещается.
Цена 643 руб.
СравнитьКупить
  • Серия

    Книга в книге Книги, которые все ждали Колесо времени Книга на все времена О времени и о себе С-П Тебе, юность Имена Читают все Стихи детям Стихи для детей Тяни, толкай, крути, читай Сборники Книги для детей и взрослых Стихи для детей Стихи для всей семьи Маленькое чудо Стихи о любви Самое лучшее, самое любимое Книги новых стихов Ветеран (сборник) Стихи Живые стихи Наше время

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

    Просвещение Искателькнига КомКнига Лев Время Университетская типография (Катков и Ко) Коло Литература Книга Перо Книга ОГИ А И Б Иваново Сова СПб ИМЛИ РАН Люди и книги Литера М Доля Сборка Дети Ра

  • Автор

    Рильке Райнер Мария Эминеску Михаил

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

    Новикова Ольга Ильинична

  • Направление в поэзии

    Математика Ткачевой М.В. (5-6)

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