Practical TLA+

Planning Driven Development



Bookstore > Books > Practical TLA+

Price$23.93 - $25.05
Rating
AuthorHillel Wayne
PublisherApress
Published2018
Pages221
LanguageEnglish
FormatPaper book / ebook (PDF)
ISBN-101484238281
ISBN-139781484238288
EBook Hardcover Paperback

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.

Read and write TLA+ specs; 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.




4 5 67

Similar Books


Practical Object-Oriented Design, 2nd Edition

Practical Object-Oriented Design, 2nd Edition

by Sandi Metz

Object-oriented programming languages exist to help you create beautiful, straightforward applications that are easy to change and simple to extend. Unfortunately, the world is awash with object-oriented (OO) applications that are difficult to understand and expensive to change. Practical Object-Oriented Design, Second Edition, immerses y...

Price:  $36.71  |  Publisher:  Addison-Wesley  |  Release:  2018

Practical Object-Oriented Design in Ruby

Practical Object-Oriented Design in Ruby

by Sandi Metz

Ruby's widely admired ease of use has a downside: Too many Ruby and Rails applications have been created without concern for their long-term maintenance or evolution. The Web is awash in Ruby code that is now virtually impossible to change or extend. This text helps you solve that problem by using powerful real-world object-oriented ...

Price:  $5.16  |  Publisher:  Addison-Wesley  |  Release:  2012

Practical HTML5 Projects

Practical HTML5 Projects

by Adrian W. West

Practical HTML5 Projects is a collection of valuable web techniques that any developer or designer can use. This book is all about saving time. Busy web developers should not have to plow through pages of theory or history only to discover that no practical applications are provided, nor should they have to read a paragraph five times to ...

Price:  $29.93  |  Publisher:  Apress  |  Release:  2012

Practical D3.js

Practical D3.js

by Tarek Amr, Rayna Stamboliyska

Your indispensable guide to mastering the efficient use of D3.js in professional-standard data visualization projects. You will learn what data visualization is, how to work with it, and how to think like a D3.js expert, both practically and theoretically.Practical D3.js does not just show you how to use D3.js, it teaches you how to think...

Price:  $34.99  |  Publisher:  Apress  |  Release:  2016

Practical Enterprise Data Lake Insights

Practical Enterprise Data Lake Insights

by Saurabh Gupta, Venkata Giri

Use this practical guide to successfully handle the challenges encountered when designing an enterprise data lake and learn industry best practices to resolve issues.When designing an enterprise data lake you often hit a roadblock when you must leave the comfort of the relational world and learn the nuances of handling non-relational data...

Price:  $24.14  |  Publisher:  Apress  |  Release:  2018

Practical API Architecture and Development with Azure and AWS

Practical API Architecture and Development with Azure and AWS

by Thurupathan Vijayakumar

Learn the business and technical importance of API design and architecture using the available cloud services from Azure and AWS.This book starts off with an introduction to APIs and the concept of API Economy from a business and organizational perspective. You'll decide on a sustainable API strategy and API architecture based on dif...

Price:  $25.13  |  Publisher:  Apress  |  Release:  2018

Practical Haskell

Practical Haskell

by Alejandro Serrano

Get a practical, hands-on introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. This book contains excellent coverage of the Haskell ecosystem and supporting tools, include Cabal and Stack for managing projects, HUnit and...

Price:  $28.53  |  Publisher:  Apress  |  Release:  2019

Practical MATLAB Deep Learning, 2nd Edition

Practical MATLAB Deep Learning, 2nd Edition

by Michael Paluszek, Stephanie Thomas, Eric Ham

Harness the power of MATLAB for deep-learning challenges. Practical MATLAB Deep Learning, Second Edition, remains a one-of a-kind book that provides an introduction to deep learning and using MATLAB's deep-learning toolboxes. In this book, you'll see how these toolboxes provide the complete set of functions needed to implement a...

Price:  $41.19  |  Publisher:  Apress  |  Release:  2022