TLA+ (Ukrainian Wikipedia)

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

refsWebsite

Global rank Ukrainian rank

1web.archive.org

1^st place

1^st place

153^rd place

227^th place

low place

low place

codeplex.com

tlaplus.codeplex.com

Tlaplus Tools - License. CodePlex. Microsoft, Compaq. 8 квітня 2013. Процитовано 10 травня 2015.^{[недоступне посилання]} https://tlaplus.codeplex.com/license^{[недоступне посилання]}

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= (довідка)