مشخصات کتاب

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

ویرایش: 1st 
نویسندگان: Leslie Lamport  
سری:  
ISBN (شابک) : 032114306X, 9780321143068 
ناشر: Addison-Wesley Professional 
سال نشر: 2002 
تعداد صفحات: 382 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم های مشخص کننده: زبان TLA + و ابزارهای مهندسین سخت افزار و نرم افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سیستم های مشخص کننده: زبان TLA + و ابزارهای مهندسین سخت افزار و نرم افزار

آمار فضایی یکی از حوزه های آماری است که به سرعت در حال رشد است و مملو از فرصت های تحقیقاتی جذاب است. با این حال، بسیاری از آماردانان از این فرصت‌ها بی‌اطلاع هستند و بیشتر دانشجویان در ایالات متحده هرگز در معرض هیچ دوره‌ای در زمینه آمار فضایی نیستند. این جلد نوشته شده است تا برای افراد غیرمتخصص قابل دسترسی باشد، این جلد کاربردهای آمار فضایی را در طیف وسیعی از مناطق، از جمله تجزیه و تحلیل تصویر، علوم زمین، شیمی فیزیک و بوم شناسی بررسی می کند. این کتاب مشارکت‌های علوم ریاضی را توصیف می‌کند، وضعیت کنونی دانش را خلاصه می‌کند، و مسیرهایی را برای تحقیقات Pt. I. شروع به کار. 1. کمی ریاضی ساده. 2. تعیین یک ساعت ساده. 3. یک رابط ناهمزمان. 4. یک فیفو. 5. حافظه پنهان. 6. مقداری ریاضی بیشتر. 7. نوشتن مشخصات: چند توصیه -- Pt. II. موضوعات پیشرفته تر 8. سرزندگی و انصاف. 9. زمان واقعی. 10. مشخصات آهنگسازی. 11. نمونه های پیشرفته -- Pt. III. ابزارها. 12. تحلیل نحوی. 13. TLAT[subscript E]X Typesetter. 14. جستجوگر مدل TLC -- Pt. IV. زبان TLA+. 15. نحو TLA+. 16. اپراتورهای TLA+. 17. معنی یک ماژول. 18. ماژول های استاندارد

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

Spatial statistics is one of the most rapidly growing areas of statistics, rife with fascinating research opportunities. Yet, many statisticians are unaware of those opportunities, and most students in the United States are never exposed to any course work in spatial statistics. Written to be accessible to the nonspecialist, this volume surveys the applications of spatial statistics to a wide range of areas, including image analysis, geosciences, physical chemistry, and ecology. The book describes the contributions of the mathematical sciences, summarizes the current state of knowledge, and identifies directions for research Pt. I. Getting Started. 1. A Little Simple Math. 2. Specifying a Simple Clock. 3. An Asynchronous Interface. 4. A Fifo. 5. A Caching Memory. 6. Some More Math. 7. Writing a Specification: Some Advice -- Pt. II. More Advanced Topics. 8. Liveness and Fairness. 9. Real Time. 10. Composing Specifications. 11. Advanced Examples -- Pt. III. The Tools. 12. The Syntactic Analyzer. 13. The TLAT[subscript E]X Typesetter. 14. The TLC Model Checker -- Pt. IV. The TLA+ Language. 15. The Syntax of TLA+. 16. The Operators of TLA+. 17. The Meaning of a Module. 18. The Standard Modules

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

کتاب های تصادفی

دانلود کتاب Remarkable Discoveries!

دانلود کتاب Environmental Hydrology, Second Edition

دانلود کتاب Membrane Computing: 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers

دانلود کتاب Forschungsethik: Eine Einführung

دانلود کتاب Die mecklenburgische Steuerreform, Preußen und der Zollverein