Ucebnice.cz Odborná • naučnáTechnické vědyInformační technologieSoftwareProgramování
Termín obdržení zásilky
Česká pošta Úterý 15.04
PPL Úterý 15.04
Osobní odběr Středa 16.04
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Practical TLA+

Practical TLA+

1288  Kč

Odesíláme do 1 až 2 týdnů

Sleva až 70% u třetiny knih
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+
Autor:
Nakladatel: Springer, Berlin
Rok vydání: 2018
Jazyk : Angličtina
Vazba: Paperback / softback
Počet stran: 221
Mohlo by se vám také líbit..