Practical TLA+ Planning Driven Development /

• Main Author: Wayne, Hillel (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berkeley, CA : Apress : Imprint: Apress, 2018.
• Edition: 1st ed. 2018.
• Subjects: Programming languages (Electronic computers).; Computer programming.; Software engineering.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.

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