Practical TLA+ Planning Driven Development /

• Κύριος συγγραφέας: Wayne, Hillel (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berkeley, CA : Apress : Imprint: Apress, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: 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...

Πίνακας περιεχομένων:

• Part I: The Semantics of TLA+ and PlusCal
• 1. An Example
• 2. PlusCal
• 3. Operators and Functions
• 4. Constants, Models, and Imports
• 5. Concurrency
• 6. Temporal Logic
• Part II: Applying TLA+
• 7. Algorithms
• 8. Data Structures
• 9. State Machines
• 10. Ambiguity and Feature Interation
• 11. Case Study: MapReduce
• Appendix A: Mathematics
• Appendix B: PT library
• Appendix C: PlusCal to TLA+.