Practical TLA+
1279 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: | Wayne, Hillel |
| 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..
-
Programmieren mit R
Ligges, Uwe
-
Java Program Design
Sciore, Edward
-
Pro Java 8 Programming
Brett Spell, Terrill
-
Personal Finance with Python
Humber, Max
-
Complete Guide to Test Automation
Axelrod, Arnon
-
Java in Two Semesters
Charatan, Quentin
-
Meteorologie
Klose, Brigitte
-
Scheffer/Schachtschabel: Soil Science
Blume, Hans-Peter
-
Kurzlehrbuch Psychiatrie
Bandelow, Borwin
-
Erste Hilfe - Chemie und Physik für M...
Schatz, Jürgen
-
Fundamental Algorithms in Computation...
Pulliam, Thomas H.
-
Manuelle Medizin bei Säuglingen und K...
Coenen, Wilfrid
-
Der Luzifer-Effekt
Zimbardo, Philip G.
-
Professional Sitecore 8 Development
Wicklund, Phil
-
DBT-A- Manual
Fleischhaker, Christian
-
Erfolgreiche Verhandlungsführung in E...
Wannenwetsch, Helmut H.