All Projects → Apress → Practical Tla Plus

Apress / Practical Tla Plus

Licence: other
Source Code for 'Practical TLA+' by Hillel Wayne

Apress Source Code

This repository accompanies Practical TLA+ by Hillel Wayne (Apress, 2018).

Cover image

Download the files as a zip using the green button, or clone the repository to your machine using Git.

Releases

Release v1.0 corresponds to the code in the published book, without corrections or updates.

Contributions

See the file Contributing.md for more information on how you can contribute to this repository.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].