Formal Methods for Safety and Security: Case Studies for Aerospace Applications - Nanda - Knjige - Springer Verlag, Singapore - 9789811041204 - 22. novembra 2017
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Nanda
Formal Methods for Safety and Security: Case Studies for Aerospace Applications 1st ed. 2018 edition

Cena
€ 112,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 6. - 14. okt
Prejemajte obvestila o novih izdajah izvajalca Nanda

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja 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.

112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 22. novembra 2017
ISBN13 9789811041204
Založniki Springer Verlag, Singapore
Strani 132
Dimenzije 162 × 244 × 13 mm   ·   374 g
Urednik Jeppu, Yogananda
Urednik Nanda, Manju

Več od Nanda

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Nanda