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

خرید کتاب Practical Tla+

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Practical Tla+

Practical Tla+

Practical Tla+
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 4 (1)

Design-Driven Programming

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Practical Tla+
Design-Driven Programming
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.
You'll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and eventual consistency.

Finally, you'll put what you learn into practice with some working case study applications, applying TLA+ to a wide variety of practical problems: from algorithm performance and data structures to business code and MapReduce. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications.
What You'll Learn
Read and write TLA+ specifications


Check specs for broken invariants, race conditions, and liveness bugs


Design concurrency and distributed systems


Learn how TLA+ can help you with your day-to-day production work

Who This Book Is For
Those with programming experience who are new to design and to TLA+.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2018

نویسنده

Hillel Wayne

ناشر

Apress

شابک

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

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

Advanced C and C++ Compiling

Advanced C and C++ Compiling

بدون نویسنده
20
هزار تومان
Advanced C and C++ Compiling

Advanced C and C++ Compiling

Milan Steva...
20
هزار تومان
Principles of compiler design

Principles of compiler design

بدون نویسنده
20
هزار تومان
Express Learning - Principles of Compiler Design

Express Learning - Principles of Compiler Design

ITL Educati...
20
هزار تومان
Compilers

Compilers

Himanshu B....
20
هزار تومان
Implementing Programming Languages. an Introduction to Compilers and Interpreters

Implementing Programming Languages. an Introduction to Compilers and Interpreters

Aarne Ranta
20
هزار تومان
The Definitive Guide to GCC

The Definitive Guide to GCC

Kurt Wall
20
هزار تومان
Dependence Analysis

Dependence Analysis

Utpal Banerjee
20
هزار تومان
Crafting a Compiler with C

Crafting a Compiler with C

Richard J. ...
20
هزار تومان
C Compilers for ASIPs

C Compilers for ASIPs

Manuel Hohe...
20
هزار تومان
Engineering a Compiler

Engineering a Compiler

Linda Torczon
20
هزار تومان
Pthreads Programming

Pthreads Programming

Jacqueline ...
20
هزار تومان
Algortithms for Compiler Design

Algortithms for Compiler Design

O.G. Kakde
20
هزار تومان
Introdução À Compilação

Introdução À Compilação

Ivan Ricarte
20
هزار تومان
Writing A Compiler In Go

Writing A Compiler In Go

Thorsten Ball
20
هزار تومان
Practical Tla+

Practical Tla+

Hillel Wayne
20
هزار تومان
Programming PIC Microcontrollers with Picbasic [With CDROM]

Programming PIC Microcontrollers with Picbasic [With CDROM]

Chuck Helle...
20
هزار تومان
Advanced Backend Optimization

Advanced Backend Optimization

Sid Touati
20
هزار تومان
Raspberry Pi System Software Reference

Raspberry Pi System Software Reference

Warren Gay
20
هزار تومان
C℗ compiler concepts

C℗ compiler concepts

Bernd Teufe...
20
هزار تومان
Compiler Construction

Compiler Construction

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

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

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

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

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

پذیرفتن