دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Specification Using Z
دانلود کتاب مشخصات رسمی با استفاده از Z
مشخصات کتاب
Formal Specification Using Z
ویرایش:
نویسندگان: David Lightfoot (auth.)
سری: Macmillan Computer Science Series
ISBN (شابک) : 9780333544082, 9781349121441
ناشر: Macmillan Education UK
سال نشر: 1991
تعداد صفحات: 176
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب مشخصات رسمی با استفاده از Z: مهندسی نرم افزار/برنامه نویسی و سیستم عامل
در صورت تبدیل فایل کتاب Formal Specification Using Z به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات رسمی با استفاده از Z نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages i-xi
Introduction....Pages 1-7
Sets in Z....Pages 8-22
Using sets to describe a system — a simple example....Pages 23-27
Logic: propositional calculus....Pages 28-36
The example extended....Pages 37-38
Schemas....Pages 39-55
An example of a Z specification document....Pages 56-60
Logic: predicate calculus....Pages 61-68
Relations....Pages 69-84
Functions....Pages 85-95
A Seat Allocation System....Pages 96-99
Sequences....Pages 100-114
An example of sequences — the aircraft example again....Pages 115-118
Extending a specification....Pages 119-126
Back Matter....Pages 127-164
نظرات کاربران
کتاب های تصادفی
دانلود کتاب King of the Empty Plain: The Tibetan Iron-Bridge Builder Tangtong Gyalpo
