Formal System Verification

Formal System Verification: State-of the-Art and Future Trends 著者: Rolf Drechsler 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal System Verification : 9783319576855, 3319576852 および 印刷版のISBNは 9783319576831, 3319576836. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Formal System Verification: State-of the-Art and Future Trends 著者: Rolf Drechsler 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal System Verification : 9783319576855, 3319576852 および 印刷版のISBNは 9783319576831, 3319576836. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。