Formal Methods for Safety and Security: Case Studies for Aerospace Applications - - Knjige - Springer Verlag, Singapore - 9789811350542 - 4. januarja 2019
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 103,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 22. - 30. sep

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.

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 4. januarja 2019
ISBN13 9789811350542
Založniki Springer Verlag, Singapore
Strani 132
Dimenzije 150 × 220 × 10 mm   ·   261 g
Jezik Angleščina  
Urednik Jeppu, Yogananda
Urednik Nanda, Manju

Več od istega **izdajatelja**