зеркало из
https://github.com/iharh/notes.git
synced 2025-10-29 12:46:06 +02:00
6 строки
134 B
Plaintext
6 строки
134 B
Plaintext
http://lamport.azurewebsites.net/tla/book.html
|
|
http://lamport.azurewebsites.net/tla/book-02-08-08.pdf
|
|
|
|
2018
|
|
Wayne - Practical TLAPlus
|