Formal Methods for Safety and Security: Case Studi
- Час доставки: 7-10 днів
- Стан товару: новий
- Доступна кількість: 10
Оплачивая «Formal Methods for Safety and Security: Case Studi», вы можете быть уверены, что данное изделие из каталога «Техника, технические науки» будет доставлено из Польши и проверено на целостность. В цене товара, указанной на сайте, учтена доставка из Польши. Внимание!!! Товары для Евросоюза, согласно законодательству стран Евросоюза, могут отличаться упаковкой или наполнением.
Офіційні методи забезпечення безпеки: тематичні дослідження для аерокосмічних застосувань
Цей том є результатом обговорення формальних методів в аерокосмічній галузі. У книзі детально розглядається використання формальних методів верифікації, валідації та оптимізації програмного забезпечення в критичних для безпеки та часових додатках, наприклад, в аерокосмічній техніці. Авторами розділів у цій книзі є провідні корпоративні та державні науковці в галузі досліджень і розробок. Зміст цієї книги буде корисним як дослідникам, так і професіоналам.
- Автор: Манджу Нанда, Йогананда Джеппу
- Видавець: Springer
- Рік випуску: 2017
- Обкладинка: тверда
- Кількість сторінок: 132
- Розміри: 15,5 x 23,5 x 1,4 см
- Ілюстрації: 24 таблиці, кольорові; 24 Ілюстрації, кольори; 18 Ілюстрації, чорно-білі; XII, 132 с., 24 іл. у кольорі.
- Мова: англійська
- ISBN: 9789811041204