Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Formal Methods for Safety and Security
- Case Studies for Aerospace Applications
Engelsk Hardback
Formal Methods for Safety and Security
- Case Studies for Aerospace Applications
Engelsk Hardback

1.097 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
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.
Product detaljer
Sprog:
Engelsk
Sider:
132
ISBN-13:
9789811041204
Indbinding:
Hardback
Udgave:
ISBN-10:
9811041202
Udg. Dato:
22 nov 2017
Længde:
13mm
Bredde:
162mm
Højde:
244mm
Forlag:
Springer Verlag, Singapore
Oplagsdato:
22 nov 2017
Forfatter(e):
Vi anbefaler også
Kategori sammenhænge