"Practical TLA+: Planning Driven Development" von Hillel Wayne ist ein Fachbuch, das sich mit der Anwendung der formalen Spezifikationssprache TLA+ im Softwareentwicklungsprozess beschäftigt. Das Buch richtet sich an Softwareingenieure...