Practical TLA+
Planning Driven Development
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
50,14 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9781484238288
Veröffentl:
2018
Einband:
Paperback
Erscheinungsdatum:
12.10.2018
Seiten:
248
Autor:
Hillel Wayne
Gewicht:
474 g
Format:
254x178x14 mm
Sprache:
Englisch
Beschreibung:
Yoüll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and eventual consistency.
Use TLA+ to uncover complex bugs before you code
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+.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
