Formal Methods for Safety and Security: Case Studi
- Время доставки: 7-10 дней
- Состояние товара: новый
- Доступное количество: 10
Оплачивая «Formal Methods for Safety and Security: Case Studi», вы можете быть уверены, что данное изделие из каталога «Техника, технические науки» будет доставлено из Польши и проверено на целостность. В цене товара, указанной на сайте, учтена доставка из Польши. Внимание!!! Товары для Евросоюза, согласно законодательству стран Евросоюза, могут отличаться упаковкой или наполнением.
Формальные методы обеспечения безопасности и защиты: примеры применения в аэрокосмической отрасли
Этот том является результатом обсуждения формальных методов в аэрокосмической отрасли. В книге конкретно рассматривается использование формальных методов проверки, валидации и оптимизации программного обеспечения в приложениях, критичных к безопасности и времени, например, в аэрокосмической технике. Главы этой книги написаны ведущими корпоративными и государственными учеными, занимающимися исследованиями и разработками. Содержание этой книги будет полезно как исследователям, так и специалистам.
<ул>