ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Specification and development of interactive systems: focus on streams, interfaces, and refinement

دانلود کتاب مشخصات و توسعه سیستم های تعاملی: تمرکز روی جریان ها ، رابط ها و پالایش

Specification and development of interactive systems: focus on streams, interfaces, and refinement

مشخصات کتاب

Specification and development of interactive systems: focus on streams, interfaces, and refinement

ویرایش: Reprint 
نویسندگان:   
سری: Monographs in Computer Science 
ISBN (شابک) : 1461265185, 9781461300915 
ناشر: Springer 
سال نشر: 2001 
تعداد صفحات: 356 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 30,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Specification and development of interactive systems: focus on streams, interfaces, and refinement به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشخصات و توسعه سیستم های تعاملی: تمرکز روی جریان ها ، رابط ها و پالایش نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مشخصات و توسعه سیستم های تعاملی: تمرکز روی جریان ها ، رابط ها و پالایش

یک پایه ریاضی و منطقی برای مشخصات و توسعه سیستم های تعاملی بر اساس مدلی که سیستم ها را بر حسب رفتار ورودی/خروجی آنها توصیف می کند. بر اساس این مدل، نویسندگان یک روش اساسی به نام FOCUS ایجاد می‌کنند که سیستم‌های تعاملی را قادر می‌سازد تا با توصیف تاریخچه تعامل پیامشان توصیف شوند. کتاب از مقدمه و تور هدایت‌شده FOCUS از طریق جریان‌ها، مشخصات و ویژگی‌های آن‌ها و اصلاحات رفتاری، رابط و شرطی پیشرفت می‌کند.


توضیحاتی درمورد کتاب به خارجی

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements



فهرست مطالب

Front Matter....Pages i-xv
Introduction....Pages 1-17
A Guided Tour....Pages 19-50
Basics....Pages 51-56
Streams....Pages 57-68
Specifications....Pages 69-99
Examples....Pages 101-114
Properties of Specifications....Pages 115-136
Equational Specification of State Transitions....Pages 137-160
Access Control System....Pages 161-176
Tables and Diagrams....Pages 177-193
Abracadabra Protocol....Pages 195-212
A/G Specifications....Pages 213-228
Memory with Locking....Pages 229-240
Refinement....Pages 241-252
Behavioral Refinement....Pages 253-268
Interface Refinement....Pages 269-297
Conditional Refinement....Pages 299-313
Final Remarks....Pages 315-317
Back Matter....Pages 319-348




نظرات کاربران