ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Verification of systems and circuits using LOTOS, Petri Nets, and CCS

دانلود کتاب تأیید سیستم ها و مدارها با استفاده از LOTOS، Petri Nets و CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

مشخصات کتاب

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

ویرایش: 1 
نویسندگان: ,   
سری: Wiley series on parallel and distributed computing 
ISBN (شابک) : 0471704490, 9780470253397 
ناشر: Wiley-Interscience 
سال نشر: 2008 
تعداد صفحات: 250 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب تأیید سیستم ها و مدارها با استفاده از LOTOS، Petri Nets و CCS: مدارهای مجتمع، تایید.، نرم افزار کامپیوتر، تایید.، LOTOS (زبان برنامه کامپیوتری)، پتری نت.، نرم افزار کامپیوتری.، مدارهای مجتمع.، فناوری و مهندسی، الکترونیک، مدارها، یکپارچه.، تکنولوژی و مهندسی، الکترونیک، Electro عمومی.



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

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


در صورت تبدیل فایل کتاب Verification of systems and circuits using LOTOS, Petri Nets, and CCS به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأیید سیستم ها و مدارها با استفاده از LOTOS، Petri Nets و CCS نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تأیید سیستم ها و مدارها با استفاده از LOTOS، Petri Nets و CCS

راهنمای گام به گام تأیید سیستم های دیجیتال

این کتاب عملی مقدمه ای گام به گام و تعاملی برای تأیید رسمی سیستم ها و مدارها ارائه می دهد. این کتاب زمینه تئوری را ارائه می‌کند و کاربرد سه مجموعه ابزار تأیید قدرتمند را معرفی می‌کند: CADP مبتنی بر LOTOS، PETRIFY مبتنی بر شبکه‌های پتری، و CWB مبتنی بر CCS. این کتاب تأیید مدارهای ناهمزمان مدولار، پروتکل‌های بیت متناوب، آربیترها، کنترل‌کننده‌های خط لوله، شمارنده‌های بالا به پایین، و مبدل‌های فاز، و همچنین بسیاری از نمونه‌های تأیید دیگر را پوشش می‌دهد.

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


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

A Step-by-Step Guide to Verification of Digital Systems

This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.

Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.



فهرست مطالب

Content: VERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS, PETRI NETS, AND CCS
CONTENTS
1. Introduction
2. Processes
3. From Digital Hardware to Processes
4. Introducing LOTOS
5. Introducing Petri Nets
6. Introducing CCS
7. Verification of Modular Asynchronous Circuits
8. Verification of Communication Protocols
9. Verification of Arbiters
10. More Verification Case Studies
11. Guide to Further Studies
Index.




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