Planning Driven Development
|Price||$23.93 - $26.28
|Format||Paper book / ebook (PDF)|
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
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
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.53 | Publisher: Addison-Wesley | Release: 2018
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: $43.99 | Publisher: Addison-Wesley | Release: 2009
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
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.62 | Publisher: Addison-Wesley | Release: 2012
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
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: $19.25 | Publisher: O'Reilly Media | Release: 2008
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