Industrial Use of Formal Methods. Formal Verification (Jean-Louis Boulanger); John Wiley & Sons Limited

Издатель: John Wiley & Sons Limited
ISBN: 9781118587904
EAN: 9781118587904
Книги: Техническая литература
ID: 5982832
Добавлено: 30.04.2020

Рейтинг:

(0/5)

Описание

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

Развернуть фото

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

СкидкаГИД инфо +

Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Industrial Use of Formal Methods. Formal Verification (Jean-Louis Boulanger); John Wiley & Sons Limited»

По данным нашего сервиса товар предлагался к продаже в 1 магазине. В данный момент у нас нет информации о наличии данного товара в магазинах. Цена на данный товар варьировалась от 13811 р. до 13811 р. Вы можете поискать его на других площадках ниже, а также ознакомиться с ценами на Яндекс.Маркет. Также вы можете подписаться на сообщение о наличии товара используя сервис «Сообщить о поступлении» - мы оповестим вас как только товар появится в продаже. Если товар снят с производства, сервис «История цены» поможет соориентироваться на вторичном рынке.

Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис.

О книге

Основные характеристики товара
Параметр	Значение
ISBN	978-1-118-58790-4
Автор(ы)	Jean-Louis Boulanger
Издатель	John Wiley & Sons Limited

Где купить

Как купить или где мы находимся +

Последняя известная цена от 13811 руб до 13811 руб в 1 магазине

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

Также вы можете ознакомиться с нашей подборкой:
Книги: Технические науки - издательство "John Wiley & Sons Limited"
Книги: Технические науки с ценой 11048 р. - 16573 р.

сообщить о поступлении

Книга: Industrial Use of Formal Methods. Formal Verification (Jean-Louis Boulanger); John Wiley & Sons Limited
Магазин	Цена	Наличие
Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	Кэшбэк до 3.8% Промокоды на скидку

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома Кэшбэк 57

История цены
Магазин	Последняя известная цена	Обновлено
ЛитРес	13811 история цены -3.6%	15.08.2024

Кэшбэк сервис СкидкаГИД

Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.

Заказывайте он-лайн и получайте часть денег обратно, подробнее..