Formal Methods for Safety and Security

Formal Methods for Safety and Security: Case Studies for Aerospace Applications 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods for Safety and Security : 9789811041211, 9811041210 および 印刷版のISBNは 9789811041204, 9811041202. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Formal Methods for Safety and Security: Case Studies for Aerospace Applications 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods for Safety and Security : 9789811041211, 9811041210 および 印刷版のISBNは 9789811041204, 9811041202. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。