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

15625

Издатель: 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 магазине. На сегодняшний день доступен в 1 магазине: ЛитРес. По цене от 15625 р. до 15625 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.

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

О книге

Основные характеристики товара
Параметр	Значение
ISBN	9781118587904
Автор(ы)	Jean-Louis Boulanger
Издатель	John Wiley & Sons Limited
Форматы электронной версии	PDF

Где купить (1)

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

Цена от 15625 руб до 15625 руб в 1 магазине

Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.

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

сообщить о снижении цены

Книга: Industrial Use of Formal Methods. Formal Verification (Jean-Louis Boulanger); John Wiley & Sons Limited
Магазин	Цена	Наличие
ЛитРес 5/5 ООО «Литрес» ИНН: 7719571260	15625 Электронная книга Кэшбэк до 6.7% история цены +8.4%	обновлено 12.10.2025

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	Кэшбэк до 3.8% Промокоды на скидку

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

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

На сегодняшний день товар «Книга: Industrial Use of Formal Methods. Formal Verification (Jean-Louis Boulanger); John Wiley & Sons Limited» можно купить с кешбеком в 1 магазине: ЛитРес

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

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