Formal Methods Applied to Industrial Complex Systems; John Wiley & Sons Limited

Где купить

Цены

Последняя известная цена от 526 р. до 526 р. в 1 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

МагазинЦенаНаличие
Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов
Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку
Промокоды на скидку
Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис
Промокоды на скидку
24shop - это возможность приобрести все необходимое в одном месте
Домотехника
5/5
Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время
Заказ от 800 рублей мы привезем бесплатно!
Яндекс.Маркет
5/5
Промокоды на скидку

Описание

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).

Смотри также о книге.

О книге


ПараметрЗначение
Автор(ы)
ИздательJohn Wiley & Sons Limited
ISBN978-1-119-00484-4


Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Программирование John Wiley & Sons Limited

Категория 421 р. - 631 р.

закладки (0) сравнение (0)

42 ms