EnglishbookID: ad298c7cSpecifying Systems: The TLA+ Language and Tools for Hardware and Software EngineersCategoryBY PROGRAMMING LANGUAGE / TLAExternal Linkhttp://research.microsoft.com/en-us/um/people/lamport/tla/book.htmlYour Library☆Save to My LibraryBY PROGRAMMING LANGUAGETLAOpen Resource ↗
