Practical TLA+
BookDescription:Learnhowtodesigncomplex,correctprogramsandfixproblemsbeforewritingasinglelineofcode.Thisbookisapractical,comprehensiveresourceonTLA+programmingwithrich,complexexamples.PracticalTLA+showsyouhowtouseTLA+tospecifyacomplexsystemandtestthedesignitselfforbugs.You’lllear
下载地址
用户评论
