Chat with Hillel Wayne about TLA+
Offered By: Strange Loop Conference via YouTube
Course Description
Overview
Explore a fascinating conversation between Mario Aquino and Hillel Wayne about TLA+, the focus of the upcoming TLA+ Conference. Learn about this powerful formal specification language and its applications in software development. Gain insights into the conference schedule, registration details for both in-person and virtual attendees, and discover valuable resources to deepen your understanding of TLA+. Delve into recommended books, online learning platforms, and previous conference talks to enhance your knowledge of this important topic in computer science and software engineering.
Syllabus
Strange Loop Chat with Hillel Wayne about TLA+
Taught by
Strange Loop Conference
Tags
Related Courses
Human Computer InteractionIndependent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera