Description
Part I: The Semantics of TLA+ and PlusCal1. An Example2. PlusCal3. Operators and Functions4. Constants, Models, and Imports5. Concurrency6. Temporal LogicPart II: Applying TLA+
7. Algorithms8. Data Structures9. State Machines10. Ambiguity and Feature Interation11. Case Study: MapReduceAppendix A: MathematicsAppendix B: PT libraryAppendix C: PlusCal to TLA+
Author: Hillel Wayne
Publisher: Apress
Published: 10/12/2018
Pages: 221
Binding Type: Paperback
Weight: 0.96lbs
Size: 10.00h x 7.00w x 0.52d
ISBN13: 9781484238288
ISBN10: 1484238281
BISAC Categories:
- Computers | Languages | General
- Computers | Programming | General
- Computers | Software Development & Engineering | General
7. Algorithms8. Data Structures9. State Machines10. Ambiguity and Feature Interation11. Case Study: MapReduceAppendix A: MathematicsAppendix B: PT libraryAppendix C: PlusCal to TLA+
Author: Hillel Wayne
Publisher: Apress
Published: 10/12/2018
Pages: 221
Binding Type: Paperback
Weight: 0.96lbs
Size: 10.00h x 7.00w x 0.52d
ISBN13: 9781484238288
ISBN10: 1484238281
BISAC Categories:
- Computers | Languages | General
- Computers | Programming | General
- Computers | Software Development & Engineering | General
About the Author
Hillel Wayne is a software consultant who specializes in formal methods and specification. He also writes on empirical engineering, software history, and education. In his free time, he juggles and makes chocolate. He lives in Chicago. You can find his other work at hillelwayne.com or on Twitter at @hillelogram.