3 ms·Software Estimation Crazy Rich Asians Practical TLA+ IoT Foundationsby andredublin 7y agoSoftware Estimation Crazy Rich Asians Practical TLA+ IoT Foundations