ورود به حساب کاربری

خرید کتاب Stepwise Refinement Of Distributed Systems

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Stepwise Refinement Of Distributed Systems

Stepwise Refinement Of Distributed Systems

Stepwise Refinement Of Distributed Systems
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

Models, Formalisms, Correctness: Rex Workshop, Mook, The Netherlands, May 29 June 2, 1989: Proceedings

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Stepwise Refinement Of Distributed Systems
Models, Formalisms, Correctness: Rex Workshop, Mook, The Netherlands, May 29 June 2, 1989: Proceedings
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1990

نویسنده

J.J. Bakker

ناشر

Springer

شابک

9783540525592
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Hl7 for Busy Professionals

Hl7 for Busy Professionals

Calvin Hui
20
هزار تومان
An Introduction to Queueing Systems

An Introduction to Queueing Systems

Sanjay K Bose
20
هزار تومان
Decision Support in Organizational Transformation : IFIP TC8 WG8.3 International Conference on Organizational Transformation and Decision Support, 15-16 September 1997, La Gomera, Canary Islands

Decision Support in Organizational Transformation : IFIP TC8 WG8.3 International Conference on Organizational Transformation and Decision Support, 15-16 September 1997, La Gomera, Canary Islands

بدون نویسنده
20
هزار تومان
An Ethical Global Information Society : Culture and democracy revisited

An Ethical Global Information Society : Culture and democracy revisited

Jacques Ber...
20
هزار تومان
Next Generation Optical Network Design and Modelling : IFIP TC6 / WG6.10 Sixth Working Conference on Optical Network Design and Modelling (ONDM 2002) February 4-6, 2002, Torino, Italy

Next Generation Optical Network Design and Modelling : IFIP TC6 / WG6.10 Sixth Working Conference on Optical Network Design and Modelling (ONDM 2002) February 4-6, 2002, Torino, Italy

Andrea Bian...
20
هزار تومان
Protocols for High Speed Networks IV

Protocols for High Speed Networks IV

Gerald Neuf...
20
هزار تومان
Wireless Sensors in Industrial Time-Critical Environments

Wireless Sensors in Industrial Time-Critical Environments

بدون نویسنده
20
هزار تومان
Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

Christopher...
20
هزار تومان
Combinatorial Optimization and Applications : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Combinatorial Optimization and Applications : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

بدون نویسنده
20
هزار تومان
Advances in information technology 6th international conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013 ; proceedings

Advances in information technology 6th international conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013 ; proceedings

Borworn
20
هزار تومان
Collaborative Web Hosting : Challenges and Research Directions

Collaborative Web Hosting : Challenges and Research Directions

Reaz Ahmed;...
20
هزار تومان
Multiple Access Communcations : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings

Multiple Access Communcations : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings

Magnus Jons...
20
هزار تومان
Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers

Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers

بدون نویسنده
20
هزار تومان
Behavior and Social Computing : International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, Australia, April 14-17, and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers

Behavior and Social Computing : International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, Australia, April 14-17, and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers

Longbing Ca...
20
هزار تومان
Pattern Recognition Applications and Methods : 5th International Conference, ICPRAM 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Pattern Recognition Applications and Methods : 5th International Conference, ICPRAM 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Ana Fred; M...
20
هزار تومان
Passive and Active Measurement : 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings

Passive and Active Measurement : 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings

Mohamed Ali...
20
هزار تومان
Information Security Applications 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers

Information Security Applications 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers

Dohoo Choi;...
20
هزار تومان
Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services : 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedings

Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services : 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedings

Ramón Her...
20
هزار تومان
Wired/Wireless Internet Communications : 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings

Wired/Wireless Internet Communications : 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings

Abdelhamid ...
20
هزار تومان
Testbeds and research infrastructure : development of networks and communities : 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers

Testbeds and research infrastructure : development of networks and communities : 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers

Victor C M...
20
هزار تومان
Radio Frequency Source Coding Made Easy

Radio Frequency Source Coding Made Easy

بدون نویسنده
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن