jeudi 7 juillet 2016

The TLA Home Page

http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html

2 commentaires:

  1. I just wanted to thank you for sharing with us such a useful link that opened a lot of information for us.

    RépondreSupprimer
  2. Thanks for the shared article. With this process, it will be much easier to verify the correctness of algorithms!

    RépondreSupprimer

EurabiaHosting