Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings 1st 版 著者: John W. O'Leary; Mark Aagaard 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods in Computer-Aided Design : 9783540361268, 354036126X および 印刷版のISBNは 9783540001164, 3540001166. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings 1st 版 著者: John W. O'Leary; Mark Aagaard 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods in Computer-Aided Design : 9783540361268, 354036126X および 印刷版のISBNは 9783540001164, 3540001166. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。