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

Name: Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Price: 1069 NOK
Availability: OutOfStock

Pris

NOK 1.069

Bestillingsvarer

Forventes levert 23. sep - 1. okt

Kundene våre sier:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

Ikke vurdert ennå

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

Softcover reprint of the original 1st ed. 2018 edition

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.

Media	Bøker Pocketbok (Bok med mykt omslag og limt rygg)
Utgitt	4. januar 2019
ISBN13	9789811350542
Utgivere	Springer Verlag, Singapore
Antall sider	132
Mål	150 × 220 × 10 mm · 261 g
Språk	Engelsk
Redaktør	Jeppu, Yogananda
Redaktør	Nanda, Manju