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