Specifying systems
Subtitle: the TLA+ language and tools for hardware and software engineers
By: Leslie Lamport.
Publisher: Addison-Wesley
Published: 2003
Place of publication: Boston
Language: eng
Number of pages: 364
Subjects: System design.; Computer systems -- Specifications.; Logic, Symbolic and mathematical.