رقم الصنف 9783639018912 مرجع النشر 9783639018912
Model Checking Abstract State Machines
رقم الصنف 9783639018912 مرجع النشر 9783639018912
المؤلف: Winter, Kirsten
تاريخ النشر: 2008
تصنيف الكتاب: كتب الهندسة, الكتب الانجليزية,
عدد الصفحات: 208 Pages
الصيغة: غلاف ورقي