Teruo Higashino & Kedar Namjoshi 
Automated Technology for Verification and Analysis [PDF ebook] 
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

الدعم
€57.76
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● ISBN 9783540755968 ● محرر Teruo Higashino & Kedar Namjoshi ● الناشر Springer Berlin Heidelberg ● نشرت 2007 ● للتحميل 6 مرات ● دقة EUR ● هوية شخصية 6320328 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

74٬471 كتب إلكترونية في هذه الفئة