ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

دانلود کتاب تکنیک های توصیف رسمی هشتم: مجموعه مقالات هشتمین کنفرانس بین المللی IFIP TC6 در تکنیک های توصیف رسمی، مونترال، کانادا، اکتبر 1995

Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

مشخصات کتاب

Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

ویرایش:  
نویسندگان: , ,   
سری: IFIP Advances in Information and Communication Technology 
ISBN (شابک) : 9781504129589, 9780387349459 
ناشر: Springer US 
سال نشر: 1996 
تعداد صفحات: 450 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 39 مگابایت 

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

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب تکنیک های توصیف رسمی هشتم: مجموعه مقالات هشتمین کنفرانس بین المللی IFIP TC6 در تکنیک های توصیف رسمی، مونترال، کانادا، اکتبر 1995: پردازش سیگنال، تصویر و گفتار، شبکه های ارتباطی کامپیوتری



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

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


در صورت تبدیل فایل کتاب Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



فهرست مطالب

Front Matter....Pages i-xiv
Front Matter....Pages 1-1
Specification and Verification of Timed Systems....Pages 3-3
Stabilizing client/server protocols without the tears....Pages 5-19
Front Matter....Pages 21-21
Distributed System Specification in VDM++....Pages 23-37
OMT, Bridging the Gap between Analysis and Design....Pages 39-55
Formal support for design techniques: a Timethreads-LOTOS approach....Pages 57-72
Front Matter....Pages 73-73
Using PO Methods for Verifying Behavioural Equivalences....Pages 75-89
Formal Verification of a Protocol for Communications over faulty channels....Pages 91-108
Specifying properties of Basic LOTOS processes using temporal logic....Pages 109-116
A Reachability Analysis of RT-LOTOS Specifications....Pages 117-124
Front Matter....Pages 125-125
Towards a mobile LOTOS....Pages 127-142
Type Specifications with Processes....Pages 143-158
A Unified Model for CSP-like Languages with Specifications....Pages 159-166
Front Matter....Pages 167-167
Secrets of call forwarding: A specification case study....Pages 169-184
A formal method for event-triggered sequential systems....Pages 185-200
An Extension of GDMO for Formalizing Managed Objects Behaviour....Pages 201-217
Front Matter....Pages 219-219
Experiences of using SDL collected in IskraTEL SDL Methodology....Pages 221-236
Development of broadband ISDN telecommunication services using SDL’92, ASN.1 and automatic code generation....Pages 237-252
Supporting evolution of SDL-based systems: industrial experience....Pages 253-268
Front Matter....Pages 269-269
A LOTOS Compiler Generating Multi-threaded Object Codes....Pages 271-286
A Comparison between the Service Addition language SAL and the ITU-T recommendation Z.120....Pages 287-294
Front Matter....Pages 269-269
Combining Formal Methods: An Exercise in Integration....Pages 295-302
Formal Specification of a Framework for Groupware Development....Pages 303-310
Front Matter....Pages 311-311
Selexpert — a knowledge-based tool for test case selection....Pages 313-328
Mutation testing applied to validate specifications based on Petri Nets....Pages 329-337
A new approach for distributing Estelle specifications....Pages 339-348
Front Matter....Pages 311-311
Critical time distributed systems : qualitative and quantitative analysis based on Stochastic Timed Petri Nets....Pages 351-366
Testing Semantics for Probabilistic LOTOS....Pages 367-382
Real-time LOTOS and timed observations....Pages 383-397
Front Matter....Pages 399-399
Assertional Verification of a connection management protocol....Pages 401-416
Sharing trees for “on-the-fly” verification....Pages 417-432
Verification of Liveness Property for Communicating FSM’s with Conditional Transitions depending on State Visiting Numbers....Pages 433-440
A New Approach for Protocols Performance Evaluation using Annotated Estelle Specifications....Pages 441-448
Back Matter....Pages 499-452




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