- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) (Карпов Юрий Глебович); БХВ, 2010
Издатель: БХВ
ISBN: 978-5-9775-0404-1
EAN: 9785977504041
Книги: Программирование
ID: 2171155
Добавлено: 01.03.2018
Описание
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) (Карпов Юрий Глебович); БХВ, 2010»
По данным нашего сервиса товар предлагался к продаже в 3 магазинах. В данный момент у нас нет информации о наличии данного товара в магазинах. Цена на данный товар варьировалась от 399 р. до 920 р. Вы можете поискать его на других площадках ниже, а также ознакомиться с ценами на Яндекс.Маркет. Также вы можете подписаться на сообщение о наличии товара используя сервис «Сообщить о поступлении» - мы оповестим вас как только товар появится в продаже. Если товар снят с производства, сервис «История цены» поможет соориентироваться на вторичном рынке.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-5-9775-0404-1 |
| Автор(ы) | Карпов Юрий Глебович |
| Год издания | 2010 |
| Издатель | БХВ |
| Переплет | 70х100/16 |
| Переплёт | твердый |
| Размеры | 24,00 см × 17,00 см × 3,00 см |
| Страниц | 552 |
| Тематика | Текстовые редакторы |
| Тираж | 1000 |
| Формат | 70х100/16 |
Где купить
Последняя известная цена от 399 руб до 920 руб в 3 магазинах
В данный момент у нас нет информации о наличии данного товара в магазинах. Вы можете поискать его на других площадках ниже, а также ознакомиться с ценами на Яндекс.Маркет.
Также вы можете ознакомиться с нашей подборкой:
Книги: Информационные технологии, Программирование - издательство "БХВ"
Книги: Информационные технологии, Программирование с ценой 319 р. - 478 р.
сообщить о поступлении
| Магазин | Цена | Наличие |
|---|---|---|
| Яндекс.Маркет 5/5 | Промокоды на скидку | |
| Avito 5/5 | Avito доставка позволит получить любой товар, не выходя из дома
| |
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Буквоед | 594 | |
| ЛитРес | 399 | |
| Лабиринт | 920 | 13.01.2024 |
Кэшбэк сервис СкидкаГИД
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
Пункты выдачи СДЭК г. Таганрог
Вы можете получить свои товары в ближайшем пункте выдачи СДЭК
Цены в соседних городах
Книги: Информационные технологии, Программирование - издательство "БХВ"
Категория 319 р. - 478 р.
Программирование - издательство "БХВ" »
