دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
دانلود کتاب سیستم های مشخص کننده: زبان TLA + و ابزارهای مهندسین سخت افزار و نرم افزار
مشخصات کتاب
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 مگابایت
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب William Golding: the man who wrote Lord of the flies: a life
دانلود کتاب Aquietando a Mente
دانلود کتاب 50 Ways to Protect Your Identity in a Digital Age: New Financial Threats You Need to Know and How to Avoid Them
دانلود کتاب Turkey's Kurdish Question: Discourse and Politics Since 1990
