Computer Aided Verification

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings 1st الإصدار تمت الكتابة بواسطة Holger Hermanns; Werner Damm وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Computer Aided Verification هي 9783540733683, 354073368X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540733676, 3540733671. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings 1st الإصدار تمت الكتابة بواسطة Holger Hermanns; Werner Damm وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Computer Aided Verification هي 9783540733683, 354073368X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540733676, 3540733671. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.