Wayne, Hillel
Practical TLA+: Planning Driven Development
- ISBN 13:
- 9781484238288
- author:
- Wayne, Hillel
- format:
- Paperback / softback
- publisher:
- APress
- language:
- English
- Publication Year:
- 2018
- Pages:
- 221
- Dimensions:
- 25.4 x 17.8 centimetres (0.34 kg
- Genre:
- Computers, Programming, General,
- Condition:
- New
- Availability:
- Item usually sent within 20 working days
Description
Learn to design complex, correct programs and fix problems before writing a single line of code with this comprehensive resource on TLA+ programming.
This book provides a practical and detailed guide to using TLA+ to specify a complex system, test the design for bugs, and build a better application. You'll discover how to use TLA+ to design, test, and build a wide range of applications, from algorithm performance and data structures to business code and MapReduce.
With this book, you'll gain the skills and knowledge needed to get started with TLA+ and use it in your mission-critical applications. You'll learn how to read and write TLA+ specs, check for broken invariants, race conditions, and liveness bugs, and design concurrency and distributed systems.
Related Products
Related Products
Practical Tax Planning For Property: Jargon-free advice for investors and developers
Fca, Paul Hyland
Learning and Development Practice in the Workplace
Beevers, Kathy
The Rural Planning Handbook for Low Impact Developers
Fairlie, Simon
The Horizontal Jumps: Planning for Long Term Development
Newman, Nick
The Heart of Yoga: Developing a Personal Practice
Desikachar, T.K.V.