Practical TLA+
Planning Driven Development
| Price | $23.93 - $25.05
|
| Rating |   |
| Author | Hillel Wayne |
| Publisher | Apress |
| Published | 2018 |
| Pages | 221 |
| Language | English |
| Format | Paper book / ebook (PDF) |
| ISBN-10 | 1484238281 |
| ISBN-13 | 9781484238288 |
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.
- Hillel Wayne
4 5 67
Similar Books
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
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
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
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
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
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
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
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