The Practice of Formal Methods

The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: The Practice of Formal Methods : 9783031666735, 3031666739 および 印刷版のISBNは 9783031666728, 3031666720. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: The Practice of Formal Methods : 9783031666735, 3031666739 および 印刷版のISBNは 9783031666728, 3031666720. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。