Book Details

Using Z Specification, Refinement, and Proof

العربية
رقم الكتاب 214611
اسم الكتاب Using Z Specification, Refinement, and Proof
اسم المؤلف Woodcock - Jim
رقم التصنيف 005.133HOA
الطبعة 1
مكان الكتاب وادي الهرية
تاريخ النشر 1996
حالة الكتاب غير معار
PDF DOC