Practical TLA+ Planning Driven Development /

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

Full description

Saved in:
Bibliographic Details
Main Author: Wayne, Hillel (Author)
Format: Electronic eBook
Language:English
Published: Berkeley, CA : Apress, 2018.
Edition:1st ed. 2018.
Subjects:
Programming languages (Electronic computers).
Computer programming.
Software engineering.
ISBN:9781484238295
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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+.

Similar Items