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

خرید کتاب Formal Techniques for Networked and Distributed Systems - Forte 2002

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
Formal Techniques for Networked and Distributed Systems - Forte 2002

Formal Techniques for Networked and Distributed Systems - Forte 2002

Formal Techniques for Networked and Distributed Systems - Forte 2002
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

22nd Ifip Wg 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Formal Techniques for Networked and Distributed Systems - Forte 2002
22nd Ifip Wg 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11 14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci?cation, testing, and veri?cation of distributed systems and communication protocols. The main topics are: FDT-based system and protocol engineering. Semantical foundations. Extensions of FDTs. Formal approaches to concurrent/distributed object-oriented systems. Real-time and probability aspects. Performance modeling and analysis. Quality of service modeling and analysis. Veri?cation and validation. Relations between informal and formal speci?cation. FDT-based protocol implementation. Software tools and support environments. FDT application to distributed systems. Protocol testing, including conformance testing, interoperability testing, and performance testing. Test generation, selection, and coverage. Practical experience and case studies. Corporate strategic and ?nancial consequences of using formal methods. A total of 61 papers were submitted to FORTE 2002, and reviewed by m- bers of the program committee and additional reviewers. The program committee selected 22 regular papers, two tool papers, and two posters for presentation at the conference. The program also included three tutorials and ?ve invited talks."
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2002

نویسنده

Dieter W. Langbein

ناشر

Springer

شابک

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

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

The Fin-de-Siecle Poem

The Fin-de-Siecle Poem

Joseph Bristow
20
هزار تومان
Portraits of Literacy Across Families, Communities, and Schools

Portraits of Literacy Across Families, Communities, and Schools

Jim Anderson
20
هزار تومان
Solving Systems of Polynomial Equations

Solving Systems of Polynomial Equations

Cbms Confer...
20
هزار تومان
Emotion In Dialogic Interaction

Emotion In Dialogic Interaction

Edda Weigand
20
هزار تومان
10

10

Geoff Andrews
20
هزار تومان
Archaeology Under Dictatorship

Archaeology Under Dictatorship

Charles Wat...
20
هزار تومان
Community quality-of-life indicators : best cases II

Community quality-of-life indicators : best cases II

M Joseph S...
20
هزار تومان
Cinephilia

Cinephilia

Malte Hagener
20
هزار تومان
The Western Herbal Tradition

The Western Herbal Tradition

Margaret Wh...
20
هزار تومان
The Semantic Web Iswc 2002

The Semantic Web Iswc 2002

Ian Horrocks
20
هزار تومان
Advances in Cryptology - Crypto 2002

Advances in Cryptology - Crypto 2002

Moti Yung
20
هزار تومان
The People and the DAO

The People and the DAO

Paul Crowe
20
هزار تومان
The Semantic Web - ISWC 2002 : First International Semantic Web Conference Sardinia, Italy, June 9-12, 2002 Proceedings

The Semantic Web - ISWC 2002 : First International Semantic Web Conference Sardinia, Italy, June 9-12, 2002 Proceedings

Ian Horrock...
20
هزار تومان
Integer Programming and Combinatorial Optimization : 9th International IPCO Conference Cambridge, MA, USA, May 27-29, 2002 Proceedings

Integer Programming and Combinatorial Optimization : 9th International IPCO Conference Cambridge, MA, USA, May 27-29, 2002 Proceedings

William J C...
20
هزار تومان
Cryptographic Hardware and Embedded Systems - Ches 2002

Cryptographic Hardware and Embedded Systems - Ches 2002

Martin R. P...
20
هزار تومان
New Trends in Nonlinear Dynamics and Control, and Their Applications

New Trends in Nonlinear Dynamics and Control, and Their Applications

Carlos Borges
20
هزار تومان
9780892368525

9780892368525

بدون نویسنده
20
هزار تومان
Multidisciplinary Research in Control

Multidisciplinary Research in Control

Mohammed Da...
20
هزار تومان
High Performance Computing for Computational Science - Vecpar 2002

High Performance Computing for Computational Science - Vecpar 2002

Marina Waldén
20
هزار تومان
Financial Cryptography

Financial Cryptography

Matt Blaze
20
هزار تومان
War and Peace in the Ancient World

War and Peace in the Ancient World

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

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

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

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

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

پذیرفتن