First Page | Document Content | |
---|---|---|
Date: 2014-01-15 14:29:12 | TLA+2 A Preliminary Guide Leslie Lamport 15 January 2014 ContentsAdd to Reading ListSource URL: research.microsoft.comDownload Document from Source WebsiteFile Size: 364,75 KBShare Document on Facebook |