TLA+ explained by Leslie Lamport

Leslie Lamport est un chercheur que je connais pour son travail en systèmes distribués, en traitement de texte, et pour son langage mathématique d'une grande expressivité nommé TLA+, qu'il considère en gros comme le B.A.-BA en informatique.

Ces vidéos sont là pour nous permettre de nous rattraper, nous les informaticiens bloqués par la moindre ligne écrite en grec :)