Formal Methods for Safety and Security : Case Studies for Aerospace Applications

Name: Formal Methods for Safety and Security
Brand: Springer Verlag, Singapore
SKU: 9789811350542
Price: 18000 KES
Availability: OutOfStock
ISBN: 9789811350542

Softcover reprint of the original 1st ed. 2018

Book Details

Format Paperback / softback

ISBN-10 981135054X

ISBN-13 9789811350542

Edition Softcover reprint of the original 1st ed. 2018

Publisher Springer Verlag, Singapore

Imprint Springer Verlag, Singapore

Country of Manufacture GB

Country of Publication GB

Publication Date Jan 4th, 2019

Print length 132 Pages

Product Classification: Optimization Security & fire alarm systems Security and fire alarm systems Aerospace & aviation technology Aerospace and aviation technology Astronautics Software Engineering

KSh 18,000.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

Get Formal Methods for Safety and Security by Manju Nanda at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Verlag, Singapore and it has 132 pages.