Designing Distributed Systems with TLA+

kartik November 13, 2018, 12:08pm 1

Meetup

Designing Distributed Systems with TLA+

Wed, Dec 12, 2018, 6:30 PM: Join us for our last ACM Chicago meeting of 2018 as Hillel Wayne, Software Consultant, talks about designing distributed systems with the TLA+ specification system.5:30-6:3

Would anyone else be interested in going to this? I will go, most likely.

Home
Categories
FAQ/Guidelines
Terms of Service
Privacy Policy

Powered by Discourse, best viewed with JavaScript enabled