Formal Methods for Safety and Security: Case Studies for Aerospace Applications - - Grāmatas - Springer Verlag, Singapore - 9789811350542 - 2019. gada 4. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 110,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 31. jūl. - . gada 10. aug.

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2019. gada 4. janvāris
ISBN13 9789811350542
Izdevēji Springer Verlag, Singapore
Lapas 132
Izmēri 150 × 220 × 10 mm   ·   261 g
Valoda Angļu  
Redaktors Jeppu, Yogananda
Redaktors Nanda, Manju

Vairāk no tā paša izdevēja