Practical TLA+

Planning Driven Development



Bookstore > Books > Practical TLA+

Price$23.93 - $26.28
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.





5 5 3

Similar Books


Plug-In PHP: 100 Power Solutions

Plug-In PHP: 100 Power Solutions

by Robin Nixon

This practical guide gives you 100 ready-to-run PHP functions for solving most of the main problems you encounter when building a dynamic website with PHP. Every plug-in in the book offers a complete and working solution for a result you can achieve right away, using ready-made code you simply drop into your own program. And there's littl...

Price:  $20.05  |  Publisher:  McGraw-Hill  |  Release:  2010

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:  $35.99  |  Publisher:  Addison-Wesley  |  Release:  2018

Practical Intrusion Analysis

Practical Intrusion Analysis

by Ryan Trost

Recently, powerful innovations in intrusion detection and prevention have evolved in response to emerging threats and changing business environments. However, security practitioners have found little reliable, usable information about these new IDS/IPS technologies. In Practical Intrusion Analysis, one of the field's leading experts bring...

Price:  $33.35  |  Publisher:  Addison-Wesley  |  Release:  2009

Practical Code Generation in .NET

Practical Code Generation in .NET

by Peter Vogel

Automatic code generation can dramatically increase your productivity, improve code quality and maintainability, promote reuse, and help you extend best practices throughout your development organization. .NET and Visual Studio contain many powerful, code-generation tools--and this book shows you how to succeed with all of them. With Prac...

Price:  $6.41  |  Publisher:  Addison-Wesley  |  Release:  2010

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 desig...

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

Practical Cassandra

Practical Cassandra

by Russell Bradberry, Eric Lubow

Practical Cassandra is the first hands-on developer's guide to building Cassandra systems and applications that deliver breakthrough speed, scalability, reliability, and performance. Fully up to date, it reflects the latest versions of Cassandra-including Cassandra Query Language (CQL), which dramatically lowers the learning curve for Cas...

Price:  $27.99  |  Publisher:  Addison-Wesley  |  Release:  2013

Head First Physics

Head First Physics

by Heather Lang

Wouldn't it be great if there were a physics book that showed you how things work instead of telling you how? Finally, with Head First Physics, there is. This comprehensive book takes the stress out of learning mechanics and practical physics by providing a fun and engaging experience, especially for students who "just don't get ...

Price:  $15.50  |  Publisher:  O'Reilly Media  |  Release:  2008

Intellectual Property and Open Source

Intellectual Property and Open Source

by Van Lindberg

If you work in information technology, intellectual property is central to your job - but dealing with the complexities of the legal system can be mind-boggling. This book is for anyone who wants to understand how the legal system deals with intellectual property rights for code and other content. You'll get a clear look at intellectual p...

Price:  $27.99  |  Publisher:  O'Reilly Media  |  Release:  2008