Specifying Systems
Subtitle: The TLA+ Language and Tools for Hardware and Software Engineers
Edition: 1st edition
Publisher: Addison-Wesley Professional
Published: July 19, 2002
Language: eng
Format: Paperback
Number of pages: 384
ISBN-13: 9780321143068
Subjects: Systems analysis & design; Digital Computer Design; Mathematical And Symbolic Logic; Computers; Computers - Languages / Programming; Computer Books: General; Programming - Parallel Programming; Programming - Systems Analysis & Design; Computers / Programming / Parallel; Computer Engineering; Logic; Computer systems; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical; Specifications; System design