Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings 1st 版 著者: Warren A. Jr. Hunt; Steven D. Johnson 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods in Computer-Aided Design : 9783540409229, 354040922X および 印刷版のISBNは 9783540412199, 3540412190. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings 1st 版 著者: Warren A. Jr. Hunt; Steven D. Johnson 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods in Computer-Aided Design : 9783540409229, 354040922X および 印刷版のISBNは 9783540412199, 3540412190. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
