دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: David Lightfoot (auth.)
سری: Macmillan Computer Science Series
ISBN (شابک) : 9780333544082, 9781349121441
ناشر: Macmillan Education UK
سال نشر: 1991
تعداد صفحات: 176
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
کلمات کلیدی مربوط به کتاب مشخصات رسمی با استفاده از 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