-19%

0 €

Verifying Cyber-Physical Systems: A Path to Safe Autonomy

(0) | Вопросы и ответы (0)

Спецификации:

Автор:	Sayan Mitra
Количество страниц:	304
Год публикации:	2021
ID товара:	12231432

Больше информации

БЕСПЛАТНАЯ ДОСТАВКА от 20€

173¹⁹ €

215⁸³ €

-19%

Продавец: Minced 4.4

В корзину

7²⁷ € / мес.

Калькулятор лизинга

3 x 57⁷³ €

Без подорожания

Ваш город

Заберите в Omniva посылочном автомате

27 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в Smartpost посылочном автомате

27 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в почтовом отделении Эстонии

27 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Доставим на дом

27 ноября

3⁹⁹ €

Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.

Все способы доставки

Заберите в Omniva посылочном автомате

27 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в Smartpost посылочном автомате

27 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в почтовом отделении Эстонии

27 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Доставим на дом

27 ноября

3⁹⁹ €

Все способы доставки

14-дневная гарантия возврата

Продавец: Minced 4.4

Другие также интересовались

Описание товара: Verifying Cyber-Physical Systems: A Path to Safe Autonomy

"A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems"--
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems.

Общая информация o: Verifying Cyber-Physical Systems: A Path to Safe Autonomy

ID товара:	12231432
Категория:	Книги по экономике
Количество упаковок товара:	1 шт.
Размеры и вес упаковки (1):	0,3 x 0,3 x 0,1 м, 0,2 кг
Издательство:	MIT Press Ltd
Язык публикации:	Aнглийский
Тип обложки:	Не указано
Формат:	Традиционная книга
Тип:	Не указано
Raamat väljavõttega:	Нет
Автор:	Sayan Mitra
Количество страниц:	304
Год публикации:	2021

Больше информации

Изображения продуктов приведены исключительно в иллюстративных целях и являются примерными. Ссылки на видео в описании товара предназначены только для информационных целей, поэтому информация, которую они содержат, может отличаться от самого товара. Цвета, надписи, параметры, размеры, функции и/или любые другие характеристики оригинальных продуктов из-за их визуальных характеристик могут отличаться от реальных, поэтому, пожалуйста, ознакомьтесь со спецификациями продукта, приведенными в описании продукта.

Сообщить об ошибке в описании товара

Партнерские предложения