رقم الصنف 9783642333859مرجع النشر 9783642333859
Automated Technology for Verification and Analysis : 10th International Symposium
ATVA 2012ThiruvananthapuramIndiaOctober 3-62012Proceeding
324ر.س.
شامل ضريبة القيمة المضافة
رقم الصنف 9783642333859مرجع النشر 9783642333859
المؤلف:Mukund, Madhavan
تاريخ النشر: 2012
تصنيف الكتاب:التقنية والكمبيوتر,الكتب الانجليزية
عدد الصفحات:452 Pages
الصيغة:غلاف ورقي