Formal Methods for Components and Objects

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures 1st 版 著者: Frank S.de Boer; Marcello Bonsangue; Susanne Graf 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods for Components and Objects : 9783540396567, 354039656X および 印刷版のISBNは 9783540203032, 3540203036. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures 1st 版 著者: Frank S.de Boer; Marcello Bonsangue; Susanne Graf 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods for Components and Objects : 9783540396567, 354039656X および 印刷版のISBNは 9783540203032, 3540203036. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。