Formal Specification Using Z
/ David lightfood
Formal Specification Using Z
المؤلف
/ David lightfoodطبع 1
0-333-54408-0
قائمة
شناسنامه
المدخل الرئيسي
Lightfoot, David، نویسندهالعنوان واسم المؤلف
Formal Specification Using Z / / David lightfoodبيانات النشر
لندن : : '، 1991مالمواصفات الشكلية
Xi.; 164 P.؛ ; 22 cm؛ : ill..الموضوع
Z (Computer Program language)Formal languages
مسلسل
(Macmillan Computer Science Series؛ )اللغة
انگلیسیرقم الاسترجاع
المؤتمر:
انگليسي.
Includes Index.
Includes Index.
