Computer Aided Verification

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings 1st 版 著者: Holger Hermanns; Werner Damm 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Computer Aided Verification : 9783540733683, 354073368X および 印刷版のISBNは 9783540733676, 3540733671. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings 1st 版 著者: Holger Hermanns; Werner Damm 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Computer Aided Verification : 9783540733683, 354073368X および 印刷版のISBNは 9783540733676, 3540733671. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。