ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

دانلود کتاب روش های رسمی برای سیستم های توزیع شده بر مبنای باز: IFIP TC6 / WG6.1 سومین کنفرانس بین المللی روش های رسمی برای سیستم های توزیع مبتنی بر Object (FMOODS)، 15-18 فوریه 1999، فلورانس، ایتالیا

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

مشخصات کتاب

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

ویرایش: 1 
نویسندگان: , , ,   
سری: IFIP — The International Federation for Information Processing 10 
ISBN (شابک) : 9781475752663, 9780387355627 
ناشر: Springer US 
سال نشر: 1999 
تعداد صفحات: 437 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت

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



کلمات کلیدی مربوط به کتاب روش های رسمی برای سیستم های توزیع شده بر مبنای باز: IFIP TC6 / WG6.1 سومین کنفرانس بین المللی روش های رسمی برای سیستم های توزیع مبتنی بر Object (FMOODS)، 15-18 فوریه 1999، فلورانس، ایتالیا: معماری پردازنده، روش های محاسباتی، ساختارهای داده، رمز شناسی و نظریه اطلاعات، زبان های برنامه نویسی، کامپایلرها، مترجمان



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

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


در صورت تبدیل فایل کتاب Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رسمی برای سیستم های توزیع شده بر مبنای باز: IFIP TC6 / WG6.1 سومین کنفرانس بین المللی روش های رسمی برای سیستم های توزیع مبتنی بر Object (FMOODS)، 15-18 فوریه 1999، فلورانس، ایتالیا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش های رسمی برای سیستم های توزیع شده بر مبنای باز: IFIP TC6 / WG6.1 سومین کنفرانس بین المللی روش های رسمی برای سیستم های توزیع مبتنی بر Object (FMOODS)، 15-18 فوریه 1999، فلورانس، ایتالیا



روش‌های رسمی برای سیستم‌های توزیع‌شده مبتنی بر شی باز در چندین زمینه مرتبط، به‌ویژه برنامه‌نویسی شی‌گرا، سیستم‌های توزیع شده باز و روش‌های رسمی برای سیستم‌های شی‌گرا، برتری را ارائه می‌دهد. با افزایش پشتیبانی در صنعت در رابطه با این زمینه ها، این کتاب به روزترین اطلاعات را در مورد این موضوع ثبت می کند.
موضوعات زیادی مورد بحث قرار می گیرند، از جمله زمینه های مهم زیر: طراحی و برنامه نویسی شی گرا. مشخصات رسمی سیستم های توزیع شده؛ باز کردن پلت فرم های توزیع شده؛ انواع، رابط ها و رفتار؛ رسمی سازی روش های شی گرا
این جلد شامل مجموعه مقالات کارگاه بین المللی روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز (FMOODS) است که توسط فدراسیون بین المللی پردازش اطلاعات (IFIP) در فوریه 1999 در فلورانس ایتالیا برگزار شد.
روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز به عنوان متن ثانویه برای دوره‌های تحصیلات تکمیلی در علوم کامپیوتر و ارتباطات راه دور و به عنوان مرجعی برای محققان و متخصصان صنعت، تجارت و دولت.


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

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.
This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.
Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.



فهرست مطالب

Front Matter....Pages i-xii
Piccola — A Small Composition Language....Pages 1-1
An Algebra of Actors....Pages 3-18
Developing Object-Based Distributed Systems....Pages 19-34
Reasoning About Histories in Object-Based Distributed Systems....Pages 35-49
Mobile Nets....Pages 51-66
Observation Equivalences for the Semantics of Inheritance....Pages 67-82
Tools for Integrating Formal Methods into the Java Software Development Process (An Extended Abstract)....Pages 83-88
Design and Implementation of Coordination Protocols for Distributed Cooperating Objects — A General Graph-Based Technique Applied to Corba....Pages 89-104
Specifying Component-Based Java Applications....Pages 105-112
Object Composition: A Case Study....Pages 113-130
Specifying Reusable Controllers for Software Components....Pages 131-148
Composition and Interaction for Behavioural Specifications....Pages 149-159
Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints....Pages 161-168
Distributed Feature Composition: An Architecture for Telecommunication Services....Pages 169-170
Pattern Application VS. Inheritance in SDI....Pages 171-186
Engineering Telecommunication Services with SDL....Pages 187-203
SDL in Rigorous Object-Oriented Analysis....Pages 205-212
A Junction Between State Based and Behavioural Specification....Pages 213-239
Protocol Assuring Universal Language....Pages 241-258
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations....Pages 259-272
Assessing Service Properties with Regard to a Requested Qos: The Service Metric....Pages 273-280
Combining Design Methods for Service Development....Pages 281-291
Lsc’s: Breathing Life Into Message Sequence Charts....Pages 293-311
Modular Reasoning for Actor Specification Diagrams....Pages 313-330
Towards a Formal Operational Semantics of UML Statechart Diagrams....Pages 331-347
Foundations for Wide-Area Systems....Pages 349-349
Calculi for Concurrent Objects....Pages 351-352
Infinite Types for Distributed Object Interfaces....Pages 353-369
Static Safety Analysis for Non-Uniform Service Availability in Actors....Pages 371-386
A Logic for the Specification of Multi-Object Systems....Pages 387-398
Distributed and Concurrent Objects Based on Linear Logic....Pages 399-400
Composition in Multi-Paradigm Specification Techniques....Pages 401-417
Formal Development of Object-Based Systems in a Temporal Logic Setting....Pages 419-436




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی