- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Formal Methods for Industrial Critical Systems. A Survey of Applications (Margaria Tiziana); John Wiley & Sons Limited
8112
Издатель: John Wiley & Sons Limited
ISBN: 9781118459867
EAN: 9781118459867
Книги: Ужасы и Мистика
ID: 5984015
Добавлено: 30.04.2020
Описание
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Formal Methods for Industrial Critical Systems. A Survey of Applications (Margaria Tiziana); John Wiley & Sons Limited»
По данным нашего сервиса товар предлагался к продаже в 1 магазине. На сегодняшний день доступен в 1 магазине: ЛитРес. По цене от 8112 р. до 8112 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: ЛитРес. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-1-118-45986-7 |
| Автор(ы) | Margaria Tiziana |
| Издатель | John Wiley & Sons Limited |
Где купить (1)
Цена от 8112 руб до 8112 руб в 1 магазине
Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.
Похожие предложения вы можете найти в нашей подборке:
Книги: Программирование - издательство "John Wiley & Sons Limited"
Книги: Программирование с ценой 6489-9734 р.
| Магазин | Цена | Наличие |
|---|---|---|
| ЛитРес 5/5 | обновлено 15.08.2024 | |
| Яндекс.Маркет 5/5 | Промокоды на скидку | |
| Avito 5/5 | Avito доставка позволит получить любой товар, не выходя из дома
| |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Formal Methods for Industrial Critical Systems. A Survey of Applications (Margaria Tiziana); John Wiley & Sons Limited» можно купить с кешбеком в 1 магазине: ЛитРес
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
Пункты выдачи СДЭК г. Люберцы
Вы можете получить свои товары в ближайшем пункте выдачи СДЭК
Цены в соседних городах
Книги: Программирование - издательство "John Wiley & Sons Limited"
Категория 6489 р. - 9734 р.
Ужасы и Мистика - издательство "John Wiley & Sons Limited" »
Книги: Программирование в Люберцах
Категория 6489 р. - 9734 р.
