TLA+ (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "TLA+" in Ukrainian language version.

refsWebsite
Global rank Ukrainian rank
1st place
1st place
153rd place
227th place
low place
low place

codeplex.com

tlaplus.codeplex.com

microsoft.com

research.microsoft.com

  • Лампорт, Леслі (січень 2000). Specifying Concurrent Systems with TLA+ (PDF). Т. 173, № Calculational System Design. IOS Press, Амстердам. с. 183—247. ISBN 978-90-5199-459-9. Архів оригіналу (PDF) за 4 березня 2016. Процитовано 22 травень 2015. {{cite book}}: Проігноровано |journal= (довідка)

web.archive.org

  • Лампорт, Леслі (січень 2000). Specifying Concurrent Systems with TLA+ (PDF). Т. 173, № Calculational System Design. IOS Press, Амстердам. с. 183—247. ISBN 978-90-5199-459-9. Архів оригіналу (PDF) за 4 березня 2016. Процитовано 22 травень 2015. {{cite book}}: Проігноровано |journal= (довідка)