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.
