Practical TLA+: Planning Driven Development
Publisher: Apress
Published: Oct 12, 2018
Number of pages: 248
ISBN-13: 9781484238288