Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport | 2002 | ISBN: 032114306X | PDF | 384 pages | English | 2 MB
A distillation of over 25 years of work by one of the world's most renowned computer scientists, Leslie Lamport. Useful for software and hardware engineers working in areas such as networking, communications, and data management.
No Mirrors Please
Links Don't Work ? Send Me A Private Message