Waves corporate blog
Programming
System Analysis and Design
Mathematics
Logic games
Comments 4
0
Если хотите изучать TLA+ советую почитать HIllel Wayne, у него есть несколько статей в блоге, и книга Practical TLA+.
0
Сейчас заметил, что одна из ссылок как раз и ведёт на его гайд.
+1
Оффтоп: у вашей компании жутко бесячий логотип. Специально так сделали?
Only those users with full accounts are able to leave comments. , please.