Paperback, 364 pages
English language
Published May 21, 2003 by Addison-Wesley.
Specifying systems
the TLA+ language and tools for hardware and software engineers
Subjects
- System design.
- Computer systems -- Specifications.
- Logic, Symbolic and mathematical.