
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
فرمت کتاب
computer file
زبان
english
تاریخ انتشار
2002
شابک
9783540456575
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران