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