Computer Aided Verification

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings 1st 版 著者: Nicolas Halbwachs; ‎Doron Peled 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Computer Aided Verification : 9783540486831, 3540486836 および 印刷版のISBNは 9783540662020, 3540662022. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings 1st 版 著者: Nicolas Halbwachs; ‎Doron Peled 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Computer Aided Verification : 9783540486831, 3540486836 および 印刷版のISBNは 9783540662020, 3540662022. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。