Formal Methods for Safety and Security: Case Studies for Aerospace Applications - - Knihy - Springer Verlag, Singapore - 9789811350542 - 04. januára 2019
V prípade, že obal a názov nesedia, platí názov

Formal Methods for Safety and Security: Case Studies for Aerospace Applications Softcover reprint of the original 1st ed. 2018 edition

Cena
€ 108,49

Objednané zo vzdialeného skladu

Očakávané doručenie 19. - 27. nov
Vianočné darčeky je možné vrátiť do 31. januára

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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.

132 pages, 24 Tables, color; 24 Illustrations, color; 18 Illustrations, black and white; XII, 132 p.

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 04. januára 2019
ISBN13 9789811350542
Vydavatelia Springer Verlag, Singapore
Strany 132
Rozmery 150 × 220 × 10 mm   ·   261 g
Jazyk Angličtina  
Editor Jeppu, Yogananda
Editor Nanda, Manju

Viac od toho istého vydavateľa