Formal Methods for Safety and Security

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

Case Studies for Aerospace Applications

Autor: Manju Nanda, Yogananda Jeppu

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer Verlag, Singapore

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

107.43 €

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

Informácie o knihe

Autor

Manju Nanda, Yogananda Jeppu

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2019

Stránok

132

EAN

9789811350542

Enbook ID

21076127

Vydavateľ

Springer Verlag, Singapore

Hmotnosť

313

Rozmery

155 x 235 x 8

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež