Practical TLA+: Planning Driven Development

Hillel Wayne: Practical TLA+: Planning Driven Development (2018, Apress)
(0 reviews)
248 pages
Published Oct. 12, 2018 by Apress.