Formal Methods for Safety and Security

Name: Formal Methods for Safety and Security
Brand: Springer Verlag, Singapore
SKU: 9789811350542
Price: 41273 HUF
Availability: InStock

Case Studies for Aerospace Applications

Szerző: Manju Nanda, Yogananda Jeppu

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer Verlag, Singapore

Elérhetőség: Beszállítói készleten

Küldés 8-11 napon belül

41 273 Ft

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve...

Információk a könyvről

Szerző

Manju Nanda, Yogananda Jeppu

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2019

oldal

132

EAN

9789811350542

Enbook ID

21076127

Kiadó

Springer Verlag, Singapore

Súly

313

Méretek

155 x 235 x 8

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták